home *** CD-ROM | disk | FTP | other *** search
open in: 
MacOS 8.1
|
Win98
|
DOS
browse contents |
view JSON data
|
view as text
This file was processed as: LaTeX Document
(document/latex).
| Confidence | Program | Detection | Match Type | Support
|
|---|
| 100%
| dexvert
| LaTeX Document (document/latex)
| magic
| Supported |
| 1%
| dexvert
| Text File (text/txt)
| fallback
| Supported |
| 100%
| file
| LaTeX document text
| default
| |
| 99%
| file
| LaTeX document, ASCII text
| default
| |
| 100%
| checkBytes
| Printable ASCII
| default
| |
| 100%
| perlTextCheck
| Likely Text (Perl)
| default
| |
| 100%
| siegfried
| fmt/281 LaTeX (Subdocument)
| default
| |
| 100%
| detectItEasy
| Format: plain text[LF]
| default (weak)
|
|
hex view+--------+-------------------------+-------------------------+--------+--------+
|00000000| 5c 63 68 61 70 74 65 72 | 7b 47 6c 6f 73 73 61 72 |\chapter|{Glossar|
|00000010| 79 7d 25 20 2d 2a 2d 20 | 44 69 63 74 69 6f 6e 61 |y}% -*- |Dictiona|
|00000020| 72 79 3a 20 69 6e 74 3a | 64 65 73 69 67 6e 20 2d |ry: int:|design -|
|00000030| 2a 2d 0a 0a 25 20 4e 6f | 74 65 3a 20 69 6e 20 61 |*-..% No|te: in a|
|00000040| 6e 20 65 6e 74 72 79 2c | 20 61 6e 79 20 77 6f 72 |n entry,| any wor|
|00000050| 64 20 74 68 61 74 20 69 | 73 20 61 6c 73 6f 20 64 |d that i|s also d|
|00000060| 65 66 69 6e 65 64 20 73 | 68 6f 75 6c 64 20 62 65 |efined s|hould be|
|00000070| 20 5c 69 74 0a 25 20 73 | 68 6f 75 6c 64 20 65 6e | \it.% s|hould en|
|00000080| 74 72 69 65 73 20 68 61 | 76 65 20 70 61 67 65 20 |tries ha|ve page |
|00000090| 72 65 66 65 72 65 6e 63 | 65 73 20 61 73 20 77 65 |referenc|es as we|
|000000a0| 6c 6c 3f 0a 0a 5c 62 65 | 67 69 6e 7b 64 65 73 63 |ll?..\be|gin{desc|
|000000b0| 72 69 70 74 69 6f 6e 7d | 0a 5c 69 74 65 6d 5b 61 |ription}|.\item[a|
|000000c0| 73 73 65 72 74 20 28 61 | 20 74 79 70 65 29 5d 0a |ssert (a| type)].|
|000000d0| 49 6e 20 50 79 74 68 6f | 6e 2c 20 61 6c 6c 20 74 |In Pytho|n, all t|
|000000e0| 79 70 65 20 63 68 65 63 | 6b 69 6e 67 20 69 73 20 |ype chec|king is |
|000000f0| 64 6f 6e 65 20 76 69 61 | 20 61 20 67 65 6e 65 72 |done via| a gener|
|00000100| 61 6c 20 74 79 70 65 20 | 61 73 73 65 72 74 69 6f |al type |assertio|
|00000110| 6e 0a 6d 65 63 68 61 6e | 69 73 6d 2e 20 20 45 78 |n.mechan|ism. Ex|
|00000120| 70 6c 69 63 69 74 20 64 | 65 63 6c 61 72 61 74 69 |plicit d|eclarati|
|00000130| 6f 6e 73 20 61 6e 64 20 | 69 6d 70 6c 69 63 69 74 |ons and |implicit|
|00000140| 20 61 73 73 65 72 74 69 | 6f 6e 73 20 28 65 2e 67 | asserti|ons (e.g|
|00000150| 2e 20 74 68 65 20 61 72 | 67 20 74 6f 0a 2b 20 69 |. the ar|g to.+ i|
|00000160| 73 20 61 20 6e 75 6d 62 | 65 72 29 20 61 72 65 20 |s a numb|er) are |
|00000170| 72 65 63 6f 72 64 65 64 | 20 69 6e 20 74 68 65 20 |recorded| in the |
|00000180| 66 72 6f 6e 74 2d 65 6e | 64 20 28 69 6d 70 6c 69 |front-en|d (impli|
|00000190| 63 69 74 20 63 6f 6e 74 | 69 6e 75 61 74 69 6f 6e |cit cont|inuation|
|000001a0| 29 0a 72 65 70 72 65 73 | 65 6e 74 61 74 69 6f 6e |).repres|entation|
|000001b0| 2e 20 20 54 79 70 65 20 | 61 73 73 65 72 74 69 6f |. Type |assertio|
|000001c0| 6e 73 20 28 61 6e 64 20 | 74 68 75 73 20 74 79 70 |ns (and |thus typ|
|000001d0| 65 2d 63 68 65 63 6b 69 | 6e 67 29 20 61 72 65 20 |e-checki|ng) are |
|000001e0| 22 75 6e 62 75 6e 64 6c | 65 64 22 0a 66 72 6f 6d |"unbundl|ed".from|
|000001f0| 20 74 68 65 20 6f 70 65 | 72 61 74 69 6f 6e 73 20 | the ope|rations |
|00000200| 74 68 61 74 20 61 72 65 | 20 61 66 66 65 63 74 65 |that are| affecte|
|00000210| 64 20 62 79 20 74 68 65 | 20 61 73 73 65 72 74 69 |d by the| asserti|
|00000220| 6f 6e 2e 20 20 54 68 69 | 73 20 68 61 73 20 74 77 |on. Thi|s has tw|
|00000230| 6f 20 6d 61 6a 6f 72 0a | 61 64 76 61 6e 74 61 67 |o major.|advantag|
|00000240| 65 73 3a 0a 5c 62 65 67 | 69 6e 7b 69 74 65 6d 69 |es:.\beg|in{itemi|
|00000250| 7a 65 7d 0a 5c 69 74 65 | 6d 20 43 6f 64 65 20 74 |ze}.\ite|m Code t|
|00000260| 68 61 74 20 69 6d 70 6c | 65 6d 65 6e 74 73 20 6f |hat impl|ements o|
|00000270| 70 65 72 61 74 69 6f 6e | 73 20 6e 65 65 64 20 6e |peration|s need n|
|00000280| 6f 74 20 63 6f 6e 63 65 | 72 6e 20 69 74 73 65 6c |ot conce|rn itsel|
|00000290| 66 20 77 69 74 68 20 63 | 68 65 63 6b 69 6e 67 0a |f with c|hecking.|
|000002a0| 6f 70 65 72 61 6e 64 20 | 74 79 70 65 73 2e 0a 0a |operand |types...|
|000002b0| 5c 69 74 65 6d 20 52 75 | 6e 2d 74 69 6d 65 20 74 |\item Ru|n-time t|
|000002c0| 79 70 65 20 63 68 65 63 | 6b 73 20 63 61 6e 20 62 |ype chec|ks can b|
|000002d0| 65 20 65 6c 69 6d 69 6e | 61 74 65 64 20 77 68 65 |e elimin|ated whe|
|000002e0| 6e 20 74 68 65 20 63 6f | 6d 70 69 6c 65 72 20 63 |n the co|mpiler c|
|000002f0| 61 6e 20 70 72 6f 76 65 | 20 74 68 61 74 0a 74 68 |an prove| that.th|
|00000300| 65 20 61 73 73 65 72 74 | 69 6f 6e 20 77 69 6c 6c |e assert|ion will|
|00000310| 20 61 6c 77 61 79 73 20 | 62 65 20 73 61 74 69 73 | always |be satis|
|00000320| 66 69 65 64 2e 0a 5c 65 | 6e 64 7b 69 74 65 6d 69 |fied..\e|nd{itemi|
|00000330| 7a 65 7d 0a 53 65 65 20 | 61 6c 73 6f 20 7b 5c 69 |ze}.See |also {\i|
|00000340| 74 20 72 65 73 74 72 69 | 63 74 7d 2e 0a 0a 5c 69 |t restri|ct}...\i|
|00000350| 74 65 6d 5b 62 61 63 6b | 20 65 6e 64 5d 20 54 68 |tem[back| end] Th|
|00000360| 65 20 62 61 63 6b 20 65 | 6e 64 20 69 73 20 74 68 |e back e|nd is th|
|00000370| 65 20 70 61 72 74 20 6f | 66 20 74 68 65 20 63 6f |e part o|f the co|
|00000380| 6d 70 69 6c 65 72 20 74 | 68 61 74 20 6f 70 65 72 |mpiler t|hat oper|
|00000390| 61 74 65 73 20 6f 6e 20 | 74 68 65 0a 7b 5c 69 74 |ates on |the.{\it|
|000003a0| 20 76 69 72 74 75 61 6c | 20 6d 61 63 68 69 6e 65 | virtual| machine|
|000003b0| 7d 20 69 6e 74 65 72 6d | 65 64 69 61 74 65 20 72 |} interm|ediate r|
|000003c0| 65 70 72 65 73 65 6e 74 | 61 74 69 6f 6e 2e 20 20 |epresent|ation. |
|000003d0| 41 6c 73 6f 20 69 6e 63 | 6c 75 64 65 64 20 61 72 |Also inc|luded ar|
|000003e0| 65 20 74 68 65 0a 63 6f | 6d 70 69 6c 65 72 20 70 |e the.co|mpiler p|
|000003f0| 68 61 73 65 73 20 69 6e | 76 6f 6c 76 65 64 20 69 |hases in|volved i|
|00000400| 6e 20 74 68 65 20 63 6f | 6e 76 65 72 73 69 6f 6e |n the co|nversion|
|00000410| 20 66 72 6f 6d 20 74 68 | 65 20 7b 5c 69 74 20 66 | from th|e {\it f|
|00000420| 72 6f 6e 74 20 65 6e 64 | 7d 0a 72 65 70 72 65 73 |ront end|}.repres|
|00000430| 65 6e 74 61 74 69 6f 6e | 20 28 6f 72 20 7b 5c 69 |entation| (or {\i|
|00000440| 74 20 49 43 52 7d 29 2e | 0a 0a 5c 69 74 65 6d 5b |t ICR}).|..\item[|
|00000450| 62 69 6e 64 20 6e 6f 64 | 65 5d 20 54 68 69 73 20 |bind nod|e] This |
|00000460| 69 73 20 61 20 6e 6f 64 | 65 20 74 79 70 65 20 74 |is a nod|e type t|
|00000470| 68 65 20 74 68 61 74 20 | 6d 61 72 6b 73 20 74 68 |he that |marks th|
|00000480| 65 20 73 74 61 72 74 20 | 6f 66 20 61 20 7b 5c 69 |e start |of a {\i|
|00000490| 74 20 6c 61 6d 62 64 61 | 7d 0a 62 6f 64 79 20 69 |t lambda|}.body i|
|000004a0| 6e 20 7b 5c 69 74 20 49 | 43 52 7d 2e 20 20 54 68 |n {\it I|CR}. Th|
|000004b0| 69 73 20 73 65 72 76 65 | 73 20 61 73 20 61 20 70 |is serve|s as a p|
|000004c0| 6c 61 63 65 68 6f 6c 64 | 65 72 20 66 6f 72 20 65 |lacehold|er for e|
|000004d0| 6e 76 69 72 6f 6e 6d 65 | 6e 74 20 6d 61 6e 69 70 |nvironme|nt manip|
|000004e0| 75 6c 61 74 69 6f 6e 0a | 63 6f 64 65 2e 0a 0a 5c |ulation.|code...\|
|000004f0| 69 74 65 6d 5b 49 52 31 | 5d 20 54 68 65 20 66 69 |item[IR1|] The fi|
|00000500| 72 73 74 20 69 6e 74 65 | 72 6d 65 64 69 61 74 65 |rst inte|rmediate|
|00000510| 20 72 65 70 72 65 73 65 | 6e 74 61 74 69 6f 6e 2c | represe|ntation,|
|00000520| 20 61 6c 73 6f 20 6b 6e | 6f 77 6e 20 61 73 20 7b | also kn|own as {|
|00000530| 5c 69 74 20 49 43 52 7d | 2c 20 6f 72 0a 74 68 65 |\it ICR}|, or.the|
|00000540| 20 49 6d 70 6c 69 63 69 | 74 20 43 6f 6e 74 69 6e | Implici|t Contin|
|00000550| 75 61 74 69 6f 6e 20 52 | 65 70 72 65 73 65 6e 61 |uation R|epresena|
|00000560| 74 69 6f 6e 2e 0a 0a 5c | 69 74 65 6d 5b 49 52 32 |tion...\|item[IR2|
|00000570| 5d 20 54 68 65 20 73 65 | 63 6f 6e 64 20 69 6e 74 |] The se|cond int|
|00000580| 65 72 6d 65 64 69 61 74 | 65 20 72 65 70 72 65 73 |ermediat|e repres|
|00000590| 65 6e 74 61 74 69 6f 6e | 2c 20 61 6c 73 6f 20 6b |entation|, also k|
|000005a0| 6e 6f 77 6e 20 61 73 20 | 7b 5c 69 74 20 56 4d 52 |nown as |{\it VMR|
|000005b0| 7d 2c 20 6f 72 0a 74 68 | 65 20 56 69 72 74 75 61 |}, or.th|e Virtua|
|000005c0| 6c 20 4d 61 63 68 69 6e | 65 20 52 65 70 72 65 73 |l Machin|e Repres|
|000005d0| 65 6e 74 61 74 69 6f 6e | 2e 0a 0a 5c 69 74 65 6d |entation|...\item|
|000005e0| 5b 62 61 73 69 63 20 62 | 6c 6f 63 6b 5d 20 41 20 |[basic b|lock] A |
|000005f0| 62 61 73 69 63 20 62 6c | 6f 63 6b 20 28 6f 72 20 |basic bl|ock (or |
|00000600| 73 69 6d 70 6c 79 20 22 | 62 6c 6f 63 6b 22 29 20 |simply "|block") |
|00000610| 68 61 73 20 74 68 65 20 | 70 72 65 74 74 79 20 6d |has the |pretty m|
|00000620| 75 63 68 20 74 68 65 0a | 75 73 75 61 6c 20 6d 65 |uch the.|usual me|
|00000630| 61 6e 69 6e 67 20 6f 66 | 20 72 65 70 72 65 73 65 |aning of| represe|
|00000640| 6e 74 69 6e 67 20 61 20 | 73 74 72 61 69 67 68 74 |nting a |straight|
|00000650| 2d 6c 69 6e 65 20 73 65 | 71 75 65 6e 63 65 20 6f |-line se|quence o|
|00000660| 66 20 63 6f 64 65 2e 20 | 20 48 6f 77 65 76 65 72 |f code. | However|
|00000670| 2c 20 74 68 65 0a 63 6f | 64 65 20 73 65 71 75 65 |, the.co|de seque|
|00000680| 6e 63 65 20 75 6c 74 69 | 6d 61 74 65 6c 79 20 67 |nce ulti|mately g|
|00000690| 65 6e 65 72 61 74 65 64 | 20 66 6f 72 20 61 20 62 |enerated| for a b|
|000006a0| 6c 6f 63 6b 20 6d 69 67 | 68 74 20 63 6f 6e 74 61 |lock mig|ht conta|
|000006b0| 69 6e 20 69 6e 74 65 72 | 6e 61 6c 20 62 72 61 6e |in inter|nal bran|
|000006c0| 63 68 65 73 0a 74 68 61 | 74 20 77 65 72 65 20 68 |ches.tha|t were h|
|000006d0| 69 64 64 65 6e 20 69 6e | 73 69 64 65 20 74 68 65 |idden in|side the|
|000006e0| 20 69 6d 70 6c 65 6d 65 | 6e 74 61 74 69 6f 6e 20 | impleme|ntation |
|000006f0| 6f 66 20 61 20 70 61 72 | 74 69 63 75 6c 61 72 20 |of a par|ticular |
|00000700| 6f 70 65 72 61 74 69 6f | 6e 2e 20 20 54 68 65 20 |operatio|n. The |
|00000710| 74 79 70 65 0a 6f 66 20 | 61 20 62 6c 6f 63 6b 20 |type.of |a block |
|00000720| 69 73 20 61 63 74 75 61 | 6c 6c 79 20 7b 5c 74 74 |is actua|lly {\tt|
|00000730| 20 63 62 6c 6f 63 6b 7d | 2e 20 20 54 68 65 20 7b | cblock}|. The {|
|00000740| 5c 74 74 20 62 6c 6f 63 | 6b 2d 69 6e 66 6f 7d 20 |\tt bloc|k-info} |
|00000750| 73 6c 6f 74 20 68 6f 6c | 64 73 20 61 6e 20 0a 7b |slot hol|ds an .{|
|00000760| 5c 74 74 20 56 4d 52 2d | 62 6c 6f 63 6b 7d 20 63 |\tt VMR-|block} c|
|00000770| 6f 6e 74 61 69 6e 69 6e | 67 20 62 61 63 6b 65 6e |ontainin|g backen|
|00000780| 64 20 69 6e 66 6f 72 6d | 61 74 69 6f 6e 2e 0a 0a |d inform|ation...|
|00000790| 5c 69 74 65 6d 5b 62 6c | 6f 63 6b 20 63 6f 6d 70 |\item[bl|ock comp|
|000007a0| 69 6c 61 74 69 6f 6e 5d | 20 42 6c 6f 63 6b 20 63 |ilation]| Block c|
|000007b0| 6f 6d 70 69 6c 61 74 69 | 6f 6e 20 69 73 20 61 20 |ompilati|on is a |
|000007c0| 74 65 72 6d 20 63 6f 6d | 6d 6f 6e 6c 79 20 75 73 |term com|monly us|
|000007d0| 65 64 20 74 6f 20 64 65 | 73 63 72 69 62 65 0a 74 |ed to de|scribe.t|
|000007e0| 68 65 20 63 6f 6d 70 69 | 6c 65 2d 74 69 6d 65 20 |he compi|le-time |
|000007f0| 72 65 73 6f 6c 75 74 69 | 6f 6e 20 6f 66 20 66 75 |resoluti|on of fu|
|00000800| 6e 63 74 69 6f 6e 20 6e | 61 6d 65 73 2e 20 20 54 |nction n|ames. T|
|00000810| 68 69 73 20 65 6e 61 62 | 6c 65 73 20 6d 61 6e 79 |his enab|les many|
|00000820| 0a 6f 70 74 69 6d 69 7a | 61 74 69 6f 6e 73 2e 0a |.optimiz|ations..|
|00000830| 0a 5c 69 74 65 6d 5b 63 | 61 6c 6c 20 67 72 61 70 |.\item[c|all grap|
|00000840| 68 5d 0a 45 61 63 68 20 | 6e 6f 64 65 20 69 6e 20 |h].Each |node in |
|00000850| 74 68 65 20 63 61 6c 6c | 20 67 72 61 70 68 20 69 |the call| graph i|
|00000860| 73 20 61 20 66 75 6e 63 | 74 69 6f 6e 20 28 72 65 |s a func|tion (re|
|00000870| 70 72 65 73 65 6e 74 65 | 64 20 62 79 20 61 20 7b |presente|d by a {|
|00000880| 5c 69 74 20 66 6c 6f 77 | 20 67 72 61 70 68 7d 2e |\it flow| graph}.|
|00000890| 29 0a 54 68 65 20 61 72 | 63 73 20 69 6e 20 74 68 |).The ar|cs in th|
|000008a0| 65 20 63 61 6c 6c 20 67 | 72 61 70 68 20 72 65 70 |e call g|raph rep|
|000008b0| 72 65 73 65 6e 74 20 61 | 20 70 6f 73 73 69 62 6c |resent a| possibl|
|000008c0| 65 20 63 61 6c 6c 20 66 | 72 6f 6d 20 6f 6e 65 20 |e call f|rom one |
|000008d0| 66 75 6e 63 74 69 6f 6e | 20 74 6f 0a 61 6e 6f 74 |function| to.anot|
|000008e0| 68 65 72 2e 20 20 53 65 | 65 20 61 6c 73 6f 20 7b |her. Se|e also {|
|000008f0| 5c 69 74 20 74 61 69 6c | 20 73 65 74 7d 2e 0a 0a |\it tail| set}...|
|00000900| 5c 69 74 65 6d 5b 63 6c | 65 61 6e 75 70 5d 0a 41 |\item[cl|eanup].A|
|00000910| 20 63 6c 65 61 6e 75 70 | 20 69 73 20 74 68 65 20 | cleanup| is the |
|00000920| 70 61 72 74 20 6f 66 20 | 74 68 65 20 69 6d 70 6c |part of |the impl|
|00000930| 69 63 69 74 20 63 6f 6e | 74 69 6e 75 61 74 69 6f |icit con|tinuatio|
|00000940| 6e 20 72 65 70 72 65 73 | 65 6e 74 61 74 69 6f 6e |n repres|entation|
|00000950| 20 74 68 61 74 0a 72 65 | 74 61 69 6e 73 20 69 6e | that.re|tains in|
|00000960| 66 6f 72 6d 61 74 69 6f | 6e 20 73 63 6f 70 69 6e |formatio|n scopin|
|00000970| 67 20 72 65 6c 61 74 69 | 6f 6e 73 68 69 70 73 2e |g relati|onships.|
|00000980| 20 20 46 6f 72 20 69 6e | 64 65 66 69 6e 69 74 65 | For in|definite|
|00000990| 20 65 78 74 65 6e 74 20 | 62 69 6e 64 69 6e 67 73 | extent |bindings|
|000009a0| 0a 28 76 61 72 69 61 62 | 6c 65 73 20 61 6e 64 20 |.(variab|les and |
|000009b0| 66 75 6e 63 74 69 6f 6e | 73 29 2c 20 77 65 20 63 |function|s), we c|
|000009c0| 61 6e 20 61 62 61 6e 64 | 6f 6e 20 73 63 6f 70 69 |an aband|on scopi|
|000009d0| 6e 67 20 69 6e 66 6f 72 | 6d 61 74 69 6f 6e 20 61 |ng infor|mation a|
|000009e0| 66 74 65 72 20 49 43 52 | 0a 63 6f 6e 76 65 72 73 |fter ICR|.convers|
|000009f0| 69 6f 6e 2c 20 72 65 63 | 6f 76 65 72 69 6e 67 20 |ion, rec|overing |
|00000a00| 74 68 65 20 6c 69 66 65 | 74 69 6d 65 20 69 6e 66 |the life|time inf|
|00000a10| 6f 72 6d 61 74 69 6f 6e | 20 75 73 69 6e 67 20 66 |ormation| using f|
|00000a20| 6c 6f 77 20 61 6e 61 6c | 79 73 69 73 2e 20 20 42 |low anal|ysis. B|
|00000a30| 75 74 0a 64 79 6e 61 6d | 69 63 20 62 69 6e 64 69 |ut.dynam|ic bindi|
|00000a40| 6e 67 73 20 28 73 70 65 | 63 69 61 6c 20 76 61 6c |ngs (spe|cial val|
|00000a50| 75 65 73 2c 20 63 61 74 | 63 68 2c 20 75 6e 77 69 |ues, cat|ch, unwi|
|00000a60| 6e 64 20 70 72 6f 74 65 | 63 74 2c 20 65 74 63 2e |nd prote|ct, etc.|
|00000a70| 29 20 6d 75 73 74 20 62 | 65 0a 72 65 6d 6f 76 65 |) must b|e.remove|
|00000a80| 64 20 61 74 20 61 20 70 | 72 65 63 69 73 65 20 74 |d at a p|recise t|
|00000a90| 69 6d 65 20 28 77 68 65 | 6e 65 76 65 72 20 74 68 |ime (whe|never th|
|00000aa0| 65 20 73 63 6f 70 65 20 | 69 73 20 65 78 69 74 65 |e scope |is exite|
|00000ab0| 64 2e 29 20 20 43 6c 65 | 61 6e 75 70 0a 73 74 72 |d.) Cle|anup.str|
|00000ac0| 75 63 74 75 72 65 73 20 | 66 6f 72 6d 20 61 20 68 |uctures |form a h|
|00000ad0| 69 65 72 61 72 63 68 79 | 20 74 68 61 74 20 72 65 |ierarchy| that re|
|00000ae0| 70 72 65 73 65 6e 74 73 | 20 74 68 65 20 73 74 61 |presents| the sta|
|00000af0| 74 69 63 20 6e 65 73 74 | 69 6e 67 20 6f 66 20 64 |tic nest|ing of d|
|00000b00| 79 6e 61 6d 69 63 0a 62 | 69 6e 64 69 6e 67 20 73 |ynamic.b|inding s|
|00000b10| 74 72 75 63 74 75 72 65 | 73 2e 20 20 57 68 65 6e |tructure|s. When|
|00000b20| 20 74 68 65 20 63 6f 6d | 70 69 6c 65 72 20 64 6f | the com|piler do|
|00000b30| 65 73 20 61 20 63 6f 6e | 74 72 6f 6c 20 74 72 61 |es a con|trol tra|
|00000b40| 6e 73 66 65 72 2c 20 69 | 74 20 63 61 6e 20 75 73 |nsfer, i|t can us|
|00000b50| 65 0a 74 68 65 20 63 6c | 65 61 6e 75 70 20 69 6e |e.the cl|eanup in|
|00000b60| 66 6f 72 6d 61 74 69 6f | 6e 20 74 6f 20 64 65 74 |formatio|n to det|
|00000b70| 65 72 6d 69 6e 65 20 77 | 68 61 74 20 63 6c 65 61 |ermine w|hat clea|
|00000b80| 6e 75 70 20 63 6f 64 65 | 20 6e 65 65 64 73 20 74 |nup code| needs t|
|00000b90| 6f 20 62 65 20 65 6d 69 | 74 74 65 64 2e 0a 0a 5c |o be emi|tted...\|
|00000ba0| 69 74 65 6d 5b 63 6c 6f | 73 75 72 65 20 76 61 72 |item[clo|sure var|
|00000bb0| 69 61 62 6c 65 5d 0a 41 | 20 63 6c 6f 73 75 72 65 |iable].A| closure|
|00000bc0| 20 76 61 72 69 61 62 6c | 65 20 69 73 20 61 6e 79 | variabl|e is any|
|00000bd0| 20 6c 65 78 69 63 61 6c | 20 76 61 72 69 61 62 6c | lexical| variabl|
|00000be0| 65 20 74 68 61 74 20 68 | 61 73 20 72 65 66 65 72 |e that h|as refer|
|00000bf0| 65 6e 63 65 73 20 6f 75 | 74 73 69 64 65 20 6f 66 |ences ou|tside of|
|00000c00| 0a 69 74 73 20 7b 5c 69 | 74 20 68 6f 6d 65 20 65 |.its {\i|t home e|
|00000c10| 6e 76 69 72 6f 6e 6d 65 | 6e 74 7d 2e 20 20 53 65 |nvironme|nt}. Se|
|00000c20| 65 20 61 6c 73 6f 20 7b | 5c 69 74 20 69 6e 64 69 |e also {|\it indi|
|00000c30| 72 65 63 74 20 76 61 6c | 75 65 20 63 65 6c 6c 7d |rect val|ue cell}|
|00000c40| 2e 0a 0a 5c 69 74 65 6d | 5b 63 6c 6f 73 65 64 20 |...\item|[closed |
|00000c50| 63 6f 6e 74 69 6e 75 61 | 74 69 6f 6e 5d 20 41 20 |continua|tion] A |
|00000c60| 63 6c 6f 73 65 64 20 63 | 6f 6e 74 69 6e 75 61 74 |closed c|ontinuat|
|00000c70| 69 6f 6e 20 72 65 70 72 | 65 73 65 6e 74 73 20 61 |ion repr|esents a|
|00000c80| 20 7b 5c 74 74 20 74 61 | 67 62 6f 64 79 7d 20 74 | {\tt ta|gbody} t|
|00000c90| 61 67 0a 6f 72 20 7b 5c | 74 74 20 62 6c 6f 63 6b |ag.or {\|tt block|
|00000ca0| 7d 20 6e 61 6d 65 20 74 | 68 61 74 20 69 73 20 63 |} name t|hat is c|
|00000cb0| 6c 6f 73 65 64 20 6f 76 | 65 72 2e 20 20 54 68 65 |losed ov|er. The|
|00000cc0| 73 65 20 74 77 6f 20 63 | 61 73 65 73 20 61 72 65 |se two c|ases are|
|00000cd0| 20 6d 6f 73 74 6c 79 0a | 69 6e 64 69 73 74 69 6e | mostly.|indistin|
|00000ce0| 67 75 69 73 68 61 62 6c | 65 20 69 6e 20 7b 5c 69 |guishabl|e in {\i|
|00000cf0| 74 20 49 43 52 7d 2e 0a | 0a 5c 69 74 65 6d 5b 68 |t ICR}..|.\item[h|
|00000d00| 6f 6d 65 5d 20 48 6f 6d | 65 20 69 73 20 61 20 74 |ome] Hom|e is a t|
|00000d10| 65 72 6d 20 75 73 65 64 | 20 74 6f 20 64 65 73 63 |erm used| to desc|
|00000d20| 72 69 62 65 20 76 61 72 | 69 6f 75 73 20 62 61 63 |ribe var|ious bac|
|00000d30| 6b 2d 70 6f 69 6e 74 65 | 72 73 2e 20 20 41 20 6c |k-pointe|rs. A l|
|00000d40| 61 6d 62 64 61 0a 76 61 | 72 69 61 62 6c 65 27 73 |ambda.va|riable's|
|00000d50| 20 22 68 6f 6d 65 22 20 | 69 73 20 74 68 65 20 6c | "home" |is the l|
|00000d60| 61 6d 62 64 61 20 74 68 | 61 74 20 74 68 65 20 76 |ambda th|at the v|
|00000d70| 61 72 69 61 62 6c 65 20 | 62 65 6c 6f 6e 67 73 20 |ariable |belongs |
|00000d80| 74 6f 2e 20 20 41 20 6c | 61 6d 62 64 61 27 73 20 |to. A l|ambda's |
|00000d90| 22 68 6f 6d 65 0a 65 6e | 76 69 72 6f 6e 6d 65 6e |"home.en|vironmen|
|00000da0| 74 22 20 69 73 20 74 68 | 65 20 65 6e 76 69 72 6f |t" is th|e enviro|
|00000db0| 6e 6d 65 6e 74 20 69 6e | 20 77 68 69 63 68 20 74 |nment in| which t|
|00000dc0| 68 61 74 20 6c 61 6d 62 | 64 61 27 73 20 76 61 72 |hat lamb|da's var|
|00000dd0| 69 61 62 6c 65 73 20 61 | 72 65 20 61 6c 6c 6f 63 |iables a|re alloc|
|00000de0| 61 74 65 64 2e 0a 0a 5c | 69 74 65 6d 5b 69 6e 64 |ated...\|item[ind|
|00000df0| 69 72 65 63 74 20 76 61 | 6c 75 65 20 63 65 6c 6c |irect va|lue cell|
|00000e00| 5d 0a 41 6e 79 20 63 6c | 6f 73 75 72 65 20 76 61 |].Any cl|osure va|
|00000e10| 72 69 61 62 6c 65 20 74 | 68 61 74 20 68 61 73 20 |riable t|hat has |
|00000e20| 61 73 73 69 67 6e 6d 65 | 6e 74 73 20 28 7b 5c 74 |assignme|nts ({\t|
|00000e30| 74 20 73 65 74 71 7d 73 | 29 20 77 69 6c 6c 20 62 |t setq}s|) will b|
|00000e40| 65 20 61 6c 6c 6f 63 61 | 74 65 64 20 69 6e 20 61 |e alloca|ted in a|
|00000e50| 6e 0a 69 6e 64 69 72 65 | 63 74 20 76 61 6c 75 65 |n.indire|ct value|
|00000e60| 20 63 65 6c 6c 2e 20 20 | 54 68 69 73 20 69 73 20 | cell. |This is |
|00000e70| 6e 65 63 65 73 73 61 72 | 79 20 74 6f 20 65 6e 73 |necessar|y to ens|
|00000e80| 75 72 65 20 74 68 61 74 | 20 61 6c 6c 20 72 65 66 |ure that| all ref|
|00000e90| 65 72 65 6e 63 65 73 20 | 74 6f 0a 74 68 65 20 76 |erences |to.the v|
|00000ea0| 61 72 69 61 62 6c 65 20 | 77 69 6c 6c 20 73 65 65 |ariable |will see|
|00000eb0| 20 61 73 73 69 67 6e 65 | 64 20 76 61 6c 75 65 73 | assigne|d values|
|00000ec0| 2c 20 73 69 6e 63 65 20 | 74 68 65 20 63 6f 6d 70 |, since |the comp|
|00000ed0| 69 6c 65 72 20 6e 6f 72 | 6d 61 6c 6c 79 20 66 72 |iler nor|mally fr|
|00000ee0| 65 65 6c 79 0a 63 6f 70 | 69 65 73 20 76 61 6c 75 |eely.cop|ies valu|
|00000ef0| 65 73 20 77 68 65 6e 20 | 63 72 65 61 74 69 6e 67 |es when |creating|
|00000f00| 20 61 20 63 6c 6f 73 75 | 72 65 2e 0a 0a 5c 69 74 | a closu|re...\it|
|00000f10| 65 6d 5b 73 65 74 20 76 | 61 72 69 61 62 6c 65 5d |em[set v|ariable]|
|00000f20| 20 41 6e 79 20 76 61 72 | 69 61 62 6c 65 20 74 68 | Any var|iable th|
|00000f30| 61 74 20 69 73 20 61 73 | 73 69 67 6e 65 64 20 74 |at is as|signed t|
|00000f40| 6f 20 69 73 20 63 61 6c | 6c 65 64 20 61 20 22 73 |o is cal|led a "s|
|00000f50| 65 74 0a 76 61 72 69 61 | 62 6c 65 22 2e 20 20 53 |et.varia|ble". S|
|00000f60| 65 76 65 72 61 6c 20 6f | 70 74 69 6d 69 7a 61 74 |everal o|ptimizat|
|00000f70| 69 6f 6e 73 20 6d 75 73 | 74 20 73 70 65 63 69 61 |ions mus|t specia|
|00000f80| 6c 2d 63 61 73 65 20 73 | 65 74 20 76 61 72 69 61 |l-case s|et varia|
|00000f90| 62 6c 65 73 2c 20 61 6e | 64 20 73 65 74 0a 63 6c |bles, an|d set.cl|
|00000fa0| 6f 73 75 72 65 20 76 61 | 72 69 61 62 6c 65 73 20 |osure va|riables |
|00000fb0| 6d 75 73 74 20 68 61 76 | 65 20 61 6e 20 7b 5c 69 |must hav|e an {\i|
|00000fc0| 74 20 69 6e 64 69 72 65 | 63 74 20 76 61 6c 75 65 |t indire|ct value|
|00000fd0| 20 63 65 6c 6c 7d 2e 0a | 0a 5c 69 74 65 6d 5b 63 | cell}..|.\item[c|
|00000fe0| 6f 64 65 20 67 65 6e 65 | 72 61 74 6f 72 5d 20 54 |ode gene|rator] T|
|00000ff0| 68 65 20 63 6f 64 65 20 | 67 65 6e 65 72 61 74 6f |he code |generato|
|00001000| 72 20 66 6f 72 20 61 20 | 7b 5c 69 74 20 56 4f 50 |r for a |{\it VOP|
|00001010| 7d 20 69 73 20 61 20 70 | 6f 74 65 6e 74 69 61 6c |} is a p|otential|
|00001020| 6c 79 0a 61 72 62 69 74 | 72 61 72 79 20 6c 69 73 |ly.arbit|rary lis|
|00001030| 74 20 63 6f 64 65 20 66 | 72 61 67 6d 65 6e 74 20 |t code f|ragment |
|00001040| 77 68 69 63 68 20 69 73 | 20 72 65 73 70 6f 6e 73 |which is| respons|
|00001050| 69 62 6c 65 20 66 6f 72 | 20 65 6d 69 74 74 69 6e |ible for| emittin|
|00001060| 67 20 61 73 73 65 6d 62 | 6c 79 20 63 6f 64 65 20 |g assemb|ly code |
|00001070| 74 6f 0a 69 6d 70 6c 65 | 6d 65 6e 74 20 74 68 61 |to.imple|ment tha|
|00001080| 74 20 56 4f 50 2e 0a 0a | 5c 69 74 65 6d 5b 63 6f |t VOP...|\item[co|
|00001090| 6e 73 74 61 6e 74 20 70 | 6f 6f 6c 5d 20 54 68 65 |nstant p|ool] The|
|000010a0| 20 70 61 72 74 20 6f 66 | 20 61 20 63 6f 6d 70 69 | part of| a compi|
|000010b0| 6c 65 64 20 63 6f 64 65 | 20 6f 62 6a 65 63 74 20 |led code| object |
|000010c0| 74 68 61 74 20 68 6f 6c | 64 73 20 70 6f 69 6e 74 |that hol|ds point|
|000010d0| 65 72 73 20 74 6f 0a 6e | 6f 6e 2d 69 6d 6d 65 64 |ers to.n|on-immed|
|000010e0| 69 61 74 65 20 63 6f 6e | 73 74 61 6e 74 73 2e 0a |iate con|stants..|
|000010f0| 0a 5c 69 74 65 6d 5b 63 | 6f 6e 73 74 61 6e 74 20 |.\item[c|onstant |
|00001100| 54 4e 5d 0a 41 20 63 6f | 6e 73 74 61 6e 74 20 54 |TN].A co|nstant T|
|00001110| 4e 20 69 73 20 74 68 65 | 20 7b 5c 69 74 20 56 4d |N is the| {\it VM|
|00001120| 52 7d 20 6f 66 20 61 20 | 63 6f 6d 70 69 6c 65 2d |R} of a |compile-|
|00001130| 74 69 6d 65 20 63 6f 6e | 73 74 61 6e 74 20 76 61 |time con|stant va|
|00001140| 6c 75 65 2e 20 20 41 0a | 63 6f 6e 73 74 61 6e 74 |lue. A.|constant|
|00001150| 20 6d 61 79 20 62 65 20 | 69 6d 6d 65 64 69 61 74 | may be |immediat|
|00001160| 65 2c 20 6f 72 20 6d 61 | 79 20 62 65 20 61 6c 6c |e, or ma|y be all|
|00001170| 6f 63 61 74 65 64 20 69 | 6e 20 74 68 65 20 7b 5c |ocated i|n the {\|
|00001180| 69 74 20 63 6f 6e 73 74 | 61 6e 74 20 70 6f 6f 6c |it const|ant pool|
|00001190| 7d 2e 0a 0a 5c 69 74 65 | 6d 5b 63 6f 6e 73 74 61 |}...\ite|m[consta|
|000011a0| 6e 74 20 6c 65 61 66 5d | 0a 41 20 63 6f 6e 73 74 |nt leaf]|.A const|
|000011b0| 61 6e 74 20 7b 5c 69 74 | 20 6c 65 61 66 7d 20 69 |ant {\it| leaf} i|
|000011c0| 73 20 74 68 65 20 7b 5c | 69 74 20 49 43 52 7d 20 |s the {\|it ICR} |
|000011d0| 6f 66 20 61 20 63 6f 6d | 70 69 6c 65 2d 74 69 6d |of a com|pile-tim|
|000011e0| 65 20 63 6f 6e 73 74 61 | 6e 74 20 76 61 6c 75 65 |e consta|nt value|
|000011f0| 2e 0a 0a 5c 69 74 65 6d | 5b 63 6f 6d 62 69 6e 61 |...\item|[combina|
|00001200| 74 69 6f 6e 5d 0a 41 20 | 63 6f 6d 62 69 6e 61 74 |tion].A |combinat|
|00001210| 69 6f 6e 20 7b 5c 69 74 | 20 6e 6f 64 65 7d 20 69 |ion {\it| node} i|
|00001220| 73 20 74 68 65 20 7b 5c | 69 74 20 49 43 52 7d 20 |s the {\|it ICR} |
|00001230| 6f 66 20 61 6e 79 20 66 | 69 78 65 64 2d 61 72 67 |of any f|ixed-arg|
|00001240| 75 6d 65 6e 74 20 66 75 | 6e 63 74 69 6f 6e 0a 63 |ument fu|nction.c|
|00001250| 61 6c 6c 20 28 6e 6f 74 | 20 7b 5c 74 74 20 61 70 |all (not| {\tt ap|
|00001260| 70 6c 79 7d 20 6f 72 20 | 7b 5c 74 74 20 6d 75 6c |ply} or |{\tt mul|
|00001270| 74 69 70 6c 65 2d 76 61 | 6c 75 65 2d 63 61 6c 6c |tiple-va|lue-call|
|00001280| 7d 2e 29 20 20 0a 0a 5c | 69 74 65 6d 5b 74 6f 70 |}.) ..\|item[top|
|00001290| 2d 6c 65 76 65 6c 20 63 | 6f 6d 70 6f 6e 65 6e 74 |-level c|omponent|
|000012a0| 5d 0a 41 20 74 6f 70 2d | 6c 65 76 65 6c 20 63 6f |].A top-|level co|
|000012b0| 6d 70 6f 6e 65 6e 74 20 | 69 73 20 61 6e 79 20 63 |mponent |is any c|
|000012c0| 6f 6d 70 6f 6e 65 6e 74 | 20 77 68 6f 73 65 20 6f |omponent| whose o|
|000012d0| 6e 6c 79 20 65 6e 74 72 | 79 20 70 6f 69 6e 74 73 |nly entr|y points|
|000012e0| 20 61 72 65 20 74 6f 70 | 2d 6c 65 76 65 6c 0a 6c | are top|-level.l|
|000012f0| 61 6d 62 64 61 73 2e 0a | 0a 5c 69 74 65 6d 5b 74 |ambdas..|.\item[t|
|00001300| 6f 70 2d 6c 65 76 65 6c | 20 6c 61 6d 62 64 61 5d |op-level| lambda]|
|00001310| 0a 41 20 74 6f 70 2d 6c | 65 76 65 6c 20 6c 61 6d |.A top-l|evel lam|
|00001320| 62 64 61 20 72 65 70 72 | 65 73 65 6e 74 73 20 74 |bda repr|esents t|
|00001330| 68 65 20 65 78 65 63 75 | 74 69 6f 6e 20 6f 66 20 |he execu|tion of |
|00001340| 74 68 65 20 6f 75 74 65 | 72 6d 6f 73 74 20 66 6f |the oute|rmost fo|
|00001350| 72 6d 20 6f 6e 20 77 68 | 69 63 68 0a 74 68 65 20 |rm on wh|ich.the |
|00001360| 63 6f 6d 70 69 6c 65 72 | 20 77 61 73 20 69 6e 76 |compiler| was inv|
|00001370| 6f 6b 65 64 2e 20 20 49 | 6e 20 74 68 65 20 63 61 |oked. I|n the ca|
|00001380| 73 65 20 6f 66 20 7b 5c | 74 74 20 63 6f 6d 70 69 |se of {\|tt compi|
|00001390| 6c 65 2d 66 69 6c 65 7d | 2c 20 74 68 69 73 20 69 |le-file}|, this i|
|000013a0| 73 20 6f 66 74 65 6e 20 | 61 0a 74 72 75 6c 79 20 |s often |a.truly |
|000013b0| 74 6f 70 2d 6c 65 76 65 | 6c 20 66 6f 72 6d 20 69 |top-leve|l form i|
|000013c0| 6e 20 74 68 65 20 73 6f | 75 72 63 65 20 66 69 6c |n the so|urce fil|
|000013d0| 65 2c 20 62 75 74 20 74 | 68 65 20 63 6f 6d 70 69 |e, but t|he compi|
|000013e0| 6c 65 72 20 63 61 6e 20 | 72 65 63 75 72 73 69 76 |ler can |recursiv|
|000013f0| 65 6c 79 0a 64 65 73 63 | 65 6e 64 20 69 6e 74 6f |ely.desc|end into|
|00001400| 20 73 6f 6d 65 20 66 6f | 72 6d 73 20 28 7b 5c 74 | some fo|rms ({\t|
|00001410| 74 20 65 76 61 6c 2d 77 | 68 65 6e 7d 2c 20 65 74 |t eval-w|hen}, et|
|00001420| 63 2e 29 20 62 72 65 61 | 6b 69 6e 67 20 74 68 65 |c.) brea|king the|
|00001430| 6d 20 69 6e 74 6f 20 73 | 65 70 61 72 61 74 65 0a |m into s|eparate.|
|00001440| 63 6f 6d 70 69 6c 61 74 | 69 6f 6e 73 2e 0a 0a 5c |compilat|ions...\|
|00001450| 69 74 65 6d 5b 63 6f 6d | 70 6f 6e 65 6e 74 5d 20 |item[com|ponent] |
|00001460| 41 20 63 6f 6d 70 6f 6e | 65 6e 74 20 69 73 20 62 |A compon|ent is b|
|00001470| 61 73 69 63 61 6c 6c 79 | 20 61 20 73 65 71 75 65 |asically| a seque|
|00001480| 6e 63 65 20 6f 66 20 62 | 6c 6f 63 6b 73 2e 20 20 |nce of b|locks. |
|00001490| 45 61 63 68 20 63 6f 6d | 70 6f 6e 65 6e 74 0a 69 |Each com|ponent.i|
|000014a0| 73 20 63 6f 6d 70 69 6c | 65 64 20 69 6e 74 6f 20 |s compil|ed into |
|000014b0| 61 20 73 65 70 61 72 61 | 74 65 20 63 6f 64 65 20 |a separa|te code |
|000014c0| 6f 62 6a 65 63 74 2e 20 | 20 57 69 74 68 20 7b 5c |object. | With {\|
|000014d0| 69 74 20 62 6c 6f 63 6b | 20 63 6f 6d 70 69 6c 61 |it block| compila|
|000014e0| 74 69 6f 6e 7d 20 6f 72 | 20 7b 5c 69 74 0a 6c 6f |tion} or| {\it.lo|
|000014f0| 63 61 6c 20 66 75 6e 63 | 74 69 6f 6e 73 7d 2c 20 |cal func|tions}, |
|00001500| 61 20 63 6f 6d 70 6f 6e | 65 6e 74 20 77 69 6c 6c |a compon|ent will|
|00001510| 20 63 6f 6e 74 61 69 6e | 20 74 68 65 20 63 6f 64 | contain| the cod|
|00001520| 65 20 66 6f 72 20 6d 6f | 72 65 20 74 68 61 6e 20 |e for mo|re than |
|00001530| 6f 6e 65 20 66 75 6e 63 | 74 69 6f 6e 2e 0a 54 68 |one func|tion..Th|
|00001540| 69 73 20 69 73 20 63 61 | 6c 6c 65 64 20 61 20 63 |is is ca|lled a c|
|00001550| 6f 6d 70 6f 6e 65 6e 74 | 20 62 65 63 61 75 73 65 |omponent| because|
|00001560| 20 69 74 20 72 65 70 72 | 65 73 65 6e 74 73 20 61 | it repr|esents a|
|00001570| 20 63 6f 6e 6e 65 63 74 | 65 64 20 70 6f 72 74 69 | connect|ed porti|
|00001580| 6f 6e 20 6f 66 20 74 68 | 65 0a 63 61 6c 6c 20 67 |on of th|e.call g|
|00001590| 72 61 70 68 2e 20 20 4e | 6f 72 6d 61 6c 6c 79 20 |raph. N|ormally |
|000015a0| 74 68 65 20 62 6c 6f 63 | 6b 73 20 61 72 65 20 69 |the bloc|ks are i|
|000015b0| 6e 20 64 65 70 74 68 2d | 66 69 72 73 74 20 6f 72 |n depth-|first or|
|000015c0| 64 65 72 20 28 7b 5c 69 | 74 20 44 46 4f 7d 29 2e |der ({\i|t DFO}).|
|000015d0| 0a 0a 5c 69 74 65 6d 5b | 63 6f 6d 70 6f 6e 65 6e |..\item[|componen|
|000015e0| 74 2c 20 69 6e 69 74 69 | 61 6c 5d 20 44 75 72 69 |t, initi|al] Duri|
|000015f0| 6e 67 20 49 43 52 20 63 | 6f 6e 76 65 72 73 69 6f |ng ICR c|onversio|
|00001600| 6e 2c 20 62 6c 6f 63 6b | 73 20 61 72 65 20 74 65 |n, block|s are te|
|00001610| 6d 70 6f 72 61 72 69 6c | 79 0a 61 73 73 69 67 6e |mporaril|y.assign|
|00001620| 65 64 20 74 6f 20 69 6e | 69 74 69 61 6c 20 63 6f |ed to in|itial co|
|00001630| 6d 70 6f 6e 65 6e 74 73 | 2e 20 20 54 68 65 20 22 |mponents|. The "|
|00001640| 66 6c 6f 77 20 67 72 61 | 70 68 20 63 61 6e 6f 6e |flow gra|ph canon|
|00001650| 69 63 61 6c 69 7a 61 74 | 69 6f 6e 22 20 70 68 61 |icalizat|ion" pha|
|00001660| 73 65 0a 64 65 74 65 72 | 6d 69 6e 65 73 20 74 68 |se.deter|mines th|
|00001670| 65 20 74 72 75 65 20 63 | 6f 6d 70 6f 6e 65 6e 74 |e true c|omponent|
|00001680| 20 73 74 72 75 63 74 75 | 72 65 2e 0a 0a 5c 69 74 | structu|re...\it|
|00001690| 65 6d 5b 63 6f 6d 70 6f | 6e 65 6e 74 2c 20 68 65 |em[compo|nent, he|
|000016a0| 61 64 20 61 6e 64 20 74 | 61 69 6c 5d 0a 54 68 65 |ad and t|ail].The|
|000016b0| 20 68 65 61 64 20 61 6e | 64 20 74 61 69 6c 20 6f | head an|d tail o|
|000016c0| 66 20 61 20 63 6f 6d 70 | 6f 6e 65 6e 74 20 61 72 |f a comp|onent ar|
|000016d0| 65 20 64 75 6d 6d 79 20 | 62 6c 6f 63 6b 73 20 74 |e dummy |blocks t|
|000016e0| 68 61 74 20 6d 61 72 6b | 20 74 68 65 20 73 74 61 |hat mark| the sta|
|000016f0| 72 74 20 61 6e 64 0a 65 | 6e 64 20 6f 66 20 74 68 |rt and.e|nd of th|
|00001700| 65 20 7b 5c 69 74 20 44 | 46 4f 7d 20 73 65 71 75 |e {\it D|FO} sequ|
|00001710| 65 6e 63 65 2e 20 20 54 | 68 65 20 63 6f 6d 70 6f |ence. T|he compo|
|00001720| 6e 65 6e 74 20 68 65 61 | 64 20 61 6e 64 20 74 61 |nent hea|d and ta|
|00001730| 69 6c 20 64 6f 75 62 6c | 65 20 61 73 20 74 68 65 |il doubl|e as the|
|00001740| 20 72 6f 6f 74 0a 61 6e | 64 20 66 69 6e 69 73 68 | root.an|d finish|
|00001750| 20 6e 6f 64 65 20 6f 66 | 20 74 68 65 20 63 6f 6d | node of| the com|
|00001760| 70 6f 6e 65 6e 74 27 73 | 20 66 6c 6f 77 20 67 72 |ponent's| flow gr|
|00001770| 61 70 68 2e 0a 0a 5c 69 | 74 65 6d 5b 6c 6f 63 61 |aph...\i|tem[loca|
|00001780| 6c 20 66 75 6e 63 74 69 | 6f 6e 20 28 63 61 6c 6c |l functi|on (call|
|00001790| 29 5d 0a 41 20 6c 6f 63 | 61 6c 20 66 75 6e 63 74 |)].A loc|al funct|
|000017a0| 69 6f 6e 20 63 61 6c 6c | 20 69 73 20 61 20 63 61 |ion call| is a ca|
|000017b0| 6c 6c 20 74 6f 20 61 20 | 66 75 6e 63 74 69 6f 6e |ll to a |function|
|000017c0| 20 6b 6e 6f 77 6e 20 61 | 74 20 63 6f 6d 70 69 6c | known a|t compil|
|000017d0| 65 20 74 69 6d 65 20 74 | 6f 20 62 65 0a 69 6e 20 |e time t|o be.in |
|000017e0| 74 68 65 20 73 61 6d 65 | 20 7b 5c 69 74 20 63 6f |the same| {\it co|
|000017f0| 6d 70 6f 6e 65 6e 74 7d | 2e 20 20 4c 6f 63 61 6c |mponent}|. Local|
|00001800| 20 63 61 6c 6c 20 61 6c | 6c 6f 77 73 20 63 6f 6d | call al|lows com|
|00001810| 70 69 6c 65 20 74 69 6d | 65 20 72 65 73 6f 6c 75 |pile tim|e resolu|
|00001820| 74 69 6f 6e 20 6f 66 20 | 74 68 65 0a 74 61 72 67 |tion of |the.targ|
|00001830| 65 74 20 61 64 64 72 65 | 73 73 20 61 6e 64 20 63 |et addre|ss and c|
|00001840| 61 6c 6c 69 6e 67 20 63 | 6f 6e 76 65 6e 74 69 6f |alling c|onventio|
|00001850| 6e 73 2e 20 20 53 65 65 | 20 7b 5c 69 74 20 62 6c |ns. See| {\it bl|
|00001860| 6f 63 6b 20 63 6f 6d 70 | 69 6c 61 74 69 6f 6e 7d |ock comp|ilation}|
|00001870| 2e 0a 0a 5c 69 74 65 6d | 5b 63 6f 6e 66 6c 69 63 |...\item|[conflic|
|00001880| 74 20 28 6f 66 20 54 4e | 73 2c 20 73 65 74 29 5d |t (of TN|s, set)]|
|00001890| 0a 52 65 67 69 73 74 65 | 72 20 61 6c 6c 6f 63 61 |.Registe|r alloca|
|000018a0| 74 69 6f 6e 20 74 65 72 | 6d 69 6e 6f 6c 6f 67 79 |tion ter|minology|
|000018b0| 2e 20 20 54 77 6f 20 54 | 4e 73 20 63 6f 6e 66 6c |. Two T|Ns confl|
|000018c0| 69 63 74 20 69 66 20 74 | 68 65 79 20 63 6f 75 6c |ict if t|hey coul|
|000018d0| 64 20 65 76 65 72 20 62 | 65 0a 6c 69 76 65 20 73 |d ever b|e.live s|
|000018e0| 69 6d 75 6c 74 61 6e 65 | 6f 75 73 6c 79 2e 20 20 |imultane|ously. |
|000018f0| 54 68 65 20 63 6f 6e 66 | 6c 69 63 74 20 73 65 74 |The conf|lict set|
|00001900| 20 6f 66 20 61 20 54 4e | 20 69 73 20 61 6c 6c 20 | of a TN| is all |
|00001910| 54 4e 73 20 74 68 61 74 | 20 69 74 20 63 6f 6e 66 |TNs that| it conf|
|00001920| 6c 69 63 74 73 0a 77 69 | 74 68 2e 0a 0a 5c 69 74 |licts.wi|th...\it|
|00001930| 65 6d 5b 63 6f 6e 74 69 | 6e 75 61 74 69 6f 6e 5d |em[conti|nuation]|
|00001940| 0a 54 68 65 20 49 43 52 | 20 64 61 74 61 20 73 74 |.The ICR| data st|
|00001950| 72 75 63 74 75 72 65 20 | 77 68 69 63 68 20 72 65 |ructure |which re|
|00001960| 70 72 65 73 65 6e 74 73 | 20 62 6f 74 68 3a 0a 5c |presents| both:.\|
|00001970| 62 65 67 69 6e 7b 69 74 | 65 6d 69 7a 65 7d 0a 5c |begin{it|emize}.\|
|00001980| 69 74 65 6d 20 54 68 65 | 20 72 65 63 65 69 76 69 |item The| receivi|
|00001990| 6e 67 20 6f 66 20 61 20 | 76 61 6c 75 65 20 28 6f |ng of a |value (o|
|000019a0| 72 20 6d 75 6c 74 69 70 | 6c 65 20 76 61 6c 75 65 |r multip|le value|
|000019b0| 73 29 2c 20 61 6e 64 0a | 0a 5c 69 74 65 6d 20 41 |s), and.|.\item A|
|000019c0| 20 63 6f 6e 74 72 6f 6c | 20 6c 6f 63 61 74 69 6f | control| locatio|
|000019d0| 6e 20 69 6e 20 74 68 65 | 20 66 6c 6f 77 20 67 72 |n in the| flow gr|
|000019e0| 61 70 68 2e 0a 5c 65 6e | 64 7b 69 74 65 6d 69 7a |aph..\en|d{itemiz|
|000019f0| 65 7d 0a 49 6e 20 74 68 | 65 20 49 6d 70 6c 69 63 |e}.In th|e Implic|
|00001a00| 69 74 20 43 6f 6e 74 69 | 6e 75 61 74 69 6f 6e 20 |it Conti|nuation |
|00001a10| 52 65 70 72 65 73 65 6e | 74 61 74 69 6f 6e 2c 20 |Represen|tation, |
|00001a20| 74 68 65 20 65 6e 76 69 | 72 6f 6e 6d 65 6e 74 20 |the envi|ronment |
|00001a30| 69 73 20 69 6d 70 6c 69 | 63 69 74 20 69 6e 20 74 |is impli|cit in t|
|00001a40| 68 65 0a 63 6f 6e 74 69 | 6e 75 61 74 69 6f 6e 27 |he.conti|nuation'|
|00001a50| 73 20 42 4c 4f 43 4b 20 | 28 68 65 6e 63 65 20 74 |s BLOCK |(hence t|
|00001a60| 68 65 20 6e 61 6d 65 2e | 29 20 20 54 68 65 20 49 |he name.|) The I|
|00001a70| 43 52 20 63 6f 6e 74 69 | 6e 75 61 74 69 6f 6e 20 |CR conti|nuation |
|00001a80| 69 73 20 76 65 72 79 20 | 73 69 6d 69 6c 61 72 20 |is very |similar |
|00001a90| 74 6f 0a 61 20 43 50 53 | 20 63 6f 6e 74 69 6e 75 |to.a CPS| continu|
|00001aa0| 61 74 69 6f 6e 20 69 6e | 20 69 74 73 20 75 73 65 |ation in| its use|
|00001ab0| 2c 20 62 75 74 20 69 74 | 73 20 72 65 70 72 65 73 |, but it|s repres|
|00001ac0| 65 6e 74 61 74 69 6f 6e | 20 64 6f 65 73 6e 27 74 |entation| doesn't|
|00001ad0| 20 6d 75 63 68 20 72 65 | 73 65 6d 62 6c 65 20 28 | much re|semble (|
|00001ae0| 69 73 0a 6e 6f 74 20 69 | 6e 74 65 72 63 68 61 6e |is.not i|nterchan|
|00001af0| 67 65 61 62 6c 65 20 77 | 69 74 68 29 20 61 20 6c |geable w|ith) a l|
|00001b00| 61 6d 62 64 61 2e 0a 0a | 5c 69 74 65 6d 5b 63 6f |ambda...|\item[co|
|00001b10| 6e 74 5d 20 41 20 73 6c | 6f 74 20 69 6e 20 74 68 |nt] A sl|ot in th|
|00001b20| 65 20 7b 5c 69 74 20 6e | 6f 64 65 7d 20 68 6f 6c |e {\it n|ode} hol|
|00001b30| 64 69 6e 67 20 74 68 65 | 20 7b 5c 69 74 20 63 6f |ding the| {\it co|
|00001b40| 6e 74 69 6e 75 61 74 69 | 6f 6e 7d 20 77 68 69 63 |ntinuati|on} whic|
|00001b50| 68 0a 72 65 63 65 69 76 | 65 73 20 74 68 65 20 6e |h.receiv|es the n|
|00001b60| 6f 64 65 27 73 20 76 61 | 6c 75 65 28 73 29 2e 20 |ode's va|lue(s). |
|00001b70| 20 55 6e 6c 65 73 73 20 | 74 68 65 20 6e 6f 64 65 | Unless |the node|
|00001b80| 20 65 6e 64 73 20 61 20 | 7b 5c 69 74 20 62 6c 6f | ends a |{\it blo|
|00001b90| 63 6b 7d 2c 20 74 68 69 | 73 20 61 6c 73 6f 0a 69 |ck}, thi|s also.i|
|00001ba0| 6d 70 6c 69 63 69 74 6c | 79 20 69 6e 64 69 63 61 |mplicitl|y indica|
|00001bb0| 74 65 73 20 77 68 69 63 | 68 20 6e 6f 64 65 20 73 |tes whic|h node s|
|00001bc0| 68 6f 75 6c 64 20 62 65 | 20 65 76 61 6c 75 61 74 |hould be| evaluat|
|00001bd0| 65 64 20 6e 65 78 74 2e | 0a 0a 5c 69 74 65 6d 5b |ed next.|..\item[|
|00001be0| 63 6f 73 74 5d 20 41 70 | 70 72 6f 78 69 6d 61 74 |cost] Ap|proximat|
|00001bf0| 69 6f 6e 73 20 6f 66 20 | 74 68 65 20 72 75 6e 2d |ions of |the run-|
|00001c00| 74 69 6d 65 20 63 6f 73 | 74 73 20 6f 66 20 6f 70 |time cos|ts of op|
|00001c10| 65 72 61 74 69 6f 6e 73 | 20 61 72 65 20 77 69 64 |erations| are wid|
|00001c20| 65 6c 79 20 75 73 65 64 | 0a 69 6e 20 74 68 65 20 |ely used|.in the |
|00001c30| 62 61 63 6b 20 65 6e 64 | 2e 20 20 42 79 20 63 6f |back end|. By co|
|00001c40| 6e 76 65 6e 74 69 6f 6e | 2c 20 74 68 65 20 75 6e |nvention|, the un|
|00001c50| 69 74 20 69 73 20 67 65 | 6e 65 72 61 6c 6c 79 20 |it is ge|nerally |
|00001c60| 6d 61 63 68 69 6e 65 20 | 63 79 63 6c 65 73 2c 20 |machine |cycles, |
|00001c70| 62 75 74 20 74 68 65 0a | 76 61 6c 75 65 73 20 61 |but the.|values a|
|00001c80| 72 65 20 6f 6e 6c 79 20 | 75 73 65 64 20 66 6f 72 |re only |used for|
|00001c90| 20 63 6f 6d 70 61 72 69 | 73 6f 6e 20 62 65 74 77 | compari|son betw|
|00001ca0| 65 65 6e 20 61 6c 74 65 | 72 6e 61 74 69 76 65 73 |een alte|rnatives|
|00001cb0| 2e 20 20 46 6f 72 20 65 | 78 61 6d 70 6c 65 2c 20 |. For e|xample, |
|00001cc0| 74 68 65 0a 56 4f 50 20 | 63 6f 73 74 20 69 73 20 |the.VOP |cost is |
|00001cd0| 75 73 65 64 20 74 6f 20 | 64 65 74 65 72 6d 69 6e |used to |determin|
|00001ce0| 65 20 74 68 65 20 70 72 | 65 66 65 72 72 65 64 20 |e the pr|eferred |
|00001cf0| 6f 72 64 65 72 20 69 6e | 20 77 68 69 63 68 20 74 |order in| which t|
|00001d00| 6f 20 74 72 79 20 70 6f | 73 73 69 62 6c 65 0a 69 |o try po|ssible.i|
|00001d10| 6d 70 6c 65 6d 65 6e 74 | 61 74 69 6f 6e 73 2e 0a |mplement|ations..|
|00001d20| 20 20 20 20 0a 5c 69 74 | 65 6d 5b 43 53 50 2c 20 | .\it|em[CSP, |
|00001d30| 43 46 50 5d 20 53 65 65 | 20 7b 5c 69 74 20 63 6f |CFP] See| {\it co|
|00001d40| 6e 74 72 6f 6c 20 73 74 | 61 63 6b 20 70 6f 69 6e |ntrol st|ack poin|
|00001d50| 74 65 72 7d 20 61 6e 64 | 20 7b 5c 69 74 20 63 6f |ter} and| {\it co|
|00001d60| 6e 74 72 6f 6c 20 66 72 | 61 6d 65 0a 70 6f 69 6e |ntrol fr|ame.poin|
|00001d70| 74 65 72 7d 2e 0a 0a 5c | 69 74 65 6d 5b 43 6f 6e |ter}...\|item[Con|
|00001d80| 74 72 6f 6c 20 73 74 61 | 63 6b 5d 20 54 68 65 20 |trol sta|ck] The |
|00001d90| 6d 61 69 6e 20 63 61 6c | 6c 20 73 74 61 63 6b 2c |main cal|l stack,|
|00001da0| 20 77 68 69 63 68 20 68 | 6f 6c 64 73 20 66 75 6e | which h|olds fun|
|00001db0| 63 74 69 6f 6e 20 73 74 | 61 63 6b 20 66 72 61 6d |ction st|ack fram|
|00001dc0| 65 73 2e 0a 41 6c 6c 20 | 77 6f 72 64 73 20 6f 6e |es..All |words on|
|00001dd0| 20 74 68 65 20 63 6f 6e | 74 72 6f 6c 20 73 74 61 | the con|trol sta|
|00001de0| 63 6b 20 61 72 65 20 74 | 61 67 67 65 64 20 7b 5c |ck are t|agged {\|
|00001df0| 69 74 20 64 65 73 63 72 | 69 70 74 6f 72 73 7d 2e |it descr|iptors}.|
|00001e00| 20 20 49 6e 20 61 6c 6c | 20 70 6f 72 74 73 20 64 | In all| ports d|
|00001e10| 6f 6e 65 0a 73 6f 20 66 | 61 72 2c 20 74 68 65 20 |one.so f|ar, the |
|00001e20| 63 6f 6e 74 72 6f 6c 20 | 73 74 61 63 6b 20 67 72 |control |stack gr|
|00001e30| 6f 77 73 20 66 72 6f 6d | 20 6c 6f 77 20 6d 65 6d |ows from| low mem|
|00001e40| 6f 72 79 20 74 6f 20 68 | 69 67 68 20 6d 65 6d 6f |ory to h|igh memo|
|00001e50| 72 79 2e 20 20 54 68 65 | 20 6d 6f 73 74 0a 72 65 |ry. The| most.re|
|00001e60| 63 65 6e 74 20 63 61 6c | 6c 20 66 72 61 6d 65 73 |cent cal|l frames|
|00001e70| 20 61 72 65 20 63 6f 6e | 73 69 64 65 72 65 64 20 | are con|sidered |
|00001e80| 74 6f 20 62 65 20 60 60 | 6f 6e 20 74 6f 70 27 27 |to be ``|on top''|
|00001e90| 20 6f 66 20 65 61 72 6c | 69 65 72 20 63 61 6c 6c | of earl|ier call|
|00001ea0| 20 66 72 61 6d 65 73 2e | 0a 0a 5c 69 74 65 6d 5b | frames.|..\item[|
|00001eb0| 43 6f 6e 74 72 6f 6c 20 | 73 74 61 63 6b 20 70 6f |Control |stack po|
|00001ec0| 69 6e 74 65 72 5d 20 54 | 68 65 20 61 6c 6c 6f 63 |inter] T|he alloc|
|00001ed0| 61 74 69 6f 6e 20 70 6f | 69 6e 74 65 72 20 66 6f |ation po|inter fo|
|00001ee0| 72 20 74 68 65 20 7b 5c | 69 74 20 63 6f 6e 74 72 |r the {\|it contr|
|00001ef0| 6f 6c 0a 73 74 61 63 6b | 7d 2e 20 20 47 65 6e 65 |ol.stack|}. Gene|
|00001f00| 72 61 6c 6c 79 20 74 68 | 69 73 20 70 6f 69 6e 74 |rally th|is point|
|00001f10| 73 20 74 6f 20 74 68 65 | 20 66 69 72 73 74 20 66 |s to the| first f|
|00001f20| 72 65 65 20 77 6f 72 64 | 20 61 74 20 74 68 65 20 |ree word| at the |
|00001f30| 74 6f 70 20 6f 66 20 74 | 68 65 20 73 74 61 63 6b |top of t|he stack|
|00001f40| 2e 0a 0a 5c 69 74 65 6d | 5b 43 6f 6e 74 72 6f 6c |...\item|[Control|
|00001f50| 20 66 72 61 6d 65 20 70 | 6f 69 6e 74 65 72 5d 20 | frame p|ointer] |
|00001f60| 54 68 65 20 70 6f 69 6e | 74 65 72 20 74 6f 20 74 |The poin|ter to t|
|00001f70| 68 65 20 62 61 73 65 20 | 6f 66 20 74 68 65 20 7b |he base |of the {|
|00001f80| 5c 69 74 20 63 6f 6e 74 | 72 6f 6c 20 73 74 61 63 |\it cont|rol stac|
|00001f90| 6b 7d 0a 66 72 61 6d 65 | 20 66 6f 72 20 61 20 70 |k}.frame| for a p|
|00001fa0| 61 72 74 69 63 75 6c 61 | 72 20 66 75 6e 63 74 69 |articula|r functi|
|00001fb0| 6f 6e 20 69 6e 76 6f 63 | 61 74 69 6f 6e 2e 20 20 |on invoc|ation. |
|00001fc0| 54 68 65 20 43 46 50 20 | 66 6f 72 20 74 68 65 20 |The CFP |for the |
|00001fd0| 72 75 6e 6e 69 6e 67 20 | 66 75 6e 63 74 69 6f 6e |running |function|
|00001fe0| 0a 6d 75 73 74 20 62 65 | 20 69 6e 20 61 20 72 65 |.must be| in a re|
|00001ff0| 67 69 73 74 65 72 2e 0a | 0a 5c 69 74 65 6d 5b 4e |gister..|.\item[N|
|00002000| 75 6d 62 65 72 20 73 74 | 61 63 6b 5d 20 54 68 65 |umber st|ack] The|
|00002010| 20 61 75 78 69 6c 69 61 | 72 79 20 73 74 61 63 6b | auxilia|ry stack|
|00002020| 20 75 73 65 64 20 74 6f | 20 68 6f 6c 64 20 61 6e | used to| hold an|
|00002030| 79 20 7b 5c 69 74 20 6e | 6f 6e 2d 64 65 73 63 72 |y {\it n|on-descr|
|00002040| 69 70 74 6f 72 7d 0a 28 | 75 6e 74 61 67 67 65 64 |iptor}.(|untagged|
|00002050| 29 20 6f 62 6a 65 63 74 | 73 2e 20 20 54 68 69 73 |) object|s. This|
|00002060| 20 69 73 20 67 65 6e 65 | 72 61 6c 6c 79 20 74 68 | is gene|rally th|
|00002070| 65 20 73 61 6d 65 20 61 | 73 20 74 68 65 20 43 20 |e same a|s the C |
|00002080| 63 61 6c 6c 20 73 74 61 | 63 6b 2c 20 61 6e 64 20 |call sta|ck, and |
|00002090| 74 68 75 73 0a 74 79 70 | 69 63 61 6c 6c 79 20 67 |thus.typ|ically g|
|000020a0| 72 6f 77 73 20 64 6f 77 | 6e 2e 0a 0a 5c 69 74 65 |rows dow|n...\ite|
|000020b0| 6d 5b 4e 75 6d 62 65 72 | 20 73 74 61 63 6b 20 70 |m[Number| stack p|
|000020c0| 6f 69 6e 74 65 72 5d 20 | 54 68 65 20 61 6c 6c 6f |ointer] |The allo|
|000020d0| 63 61 74 69 6f 6e 20 70 | 6f 69 6e 74 65 72 20 66 |cation p|ointer f|
|000020e0| 6f 72 20 74 68 65 20 7b | 5c 69 74 20 6e 75 6d 62 |or the {|\it numb|
|000020f0| 65 72 20 73 74 61 63 6b | 7d 2e 0a 54 68 69 73 20 |er stack|}..This |
|00002100| 69 73 20 74 79 70 69 63 | 61 6c 6c 79 20 74 68 65 |is typic|ally the|
|00002110| 20 43 20 73 74 61 63 6b | 20 70 6f 69 6e 74 65 72 | C stack| pointer|
|00002120| 2c 20 61 6e 64 20 69 73 | 20 74 68 75 73 20 6b 65 |, and is| thus ke|
|00002130| 70 74 20 69 6e 20 61 20 | 72 65 67 69 73 74 65 72 |pt in a |register|
|00002140| 2e 0a 0a 5c 69 74 65 6d | 5b 4e 53 50 2c 20 4e 46 |...\item|[NSP, NF|
|00002150| 50 5d 20 53 65 65 20 7b | 5c 69 74 20 6e 75 6d 62 |P] See {|\it numb|
|00002160| 65 72 20 73 74 61 63 6b | 20 70 6f 69 6e 74 65 72 |er stack| pointer|
|00002170| 7d 2c 20 7b 5c 69 74 20 | 6e 75 6d 62 65 72 20 66 |}, {\it |number f|
|00002180| 72 61 6d 65 20 70 6f 69 | 6e 74 65 72 7d 2e 0a 0a |rame poi|nter}...|
|00002190| 5c 69 74 65 6d 5b 4e 75 | 6d 62 65 72 20 66 72 61 |\item[Nu|mber fra|
|000021a0| 6d 65 20 70 6f 69 6e 74 | 65 72 5d 20 54 68 65 20 |me point|er] The |
|000021b0| 70 6f 69 6e 74 65 72 20 | 74 6f 20 74 68 65 20 62 |pointer |to the b|
|000021c0| 61 73 65 20 6f 66 20 74 | 68 65 20 7b 5c 69 74 20 |ase of t|he {\it |
|000021d0| 6e 75 6d 62 65 72 20 73 | 74 61 63 6b 7d 0a 66 72 |number s|tack}.fr|
|000021e0| 61 6d 65 20 66 6f 72 20 | 61 20 70 61 72 74 69 63 |ame for |a partic|
|000021f0| 75 6c 61 72 20 66 75 6e | 63 74 69 6f 6e 20 69 6e |ular fun|ction in|
|00002200| 76 6f 63 61 74 69 6f 6e | 2e 20 20 46 75 6e 63 74 |vocation|. Funct|
|00002210| 69 6f 6e 73 20 74 68 61 | 74 20 64 6f 6e 27 74 20 |ions tha|t don't |
|00002220| 75 73 65 20 74 68 65 0a | 6e 75 6d 62 65 72 20 73 |use the.|number s|
|00002230| 74 61 63 6b 20 77 6f 6e | 27 74 20 68 61 76 65 20 |tack won|'t have |
|00002240| 61 6e 20 4e 46 50 2c 20 | 62 75 74 20 69 66 20 61 |an NFP, |but if a|
|00002250| 6e 20 4e 46 50 20 69 73 | 20 61 6c 6c 6f 63 61 74 |n NFP is| allocat|
|00002260| 65 64 2c 20 69 74 20 69 | 73 20 61 6c 77 61 79 73 |ed, it i|s always|
|00002270| 0a 61 6c 6c 6f 63 61 74 | 65 64 20 69 6e 20 61 20 |.allocat|ed in a |
|00002280| 70 61 72 74 69 63 75 6c | 61 72 20 72 65 67 69 73 |particul|ar regis|
|00002290| 74 65 72 2e 20 20 49 66 | 20 74 68 65 72 65 20 69 |ter. If| there i|
|000022a0| 73 20 6e 6f 20 76 61 72 | 69 61 62 6c 65 2d 73 69 |s no var|iable-si|
|000022b0| 7a 65 20 64 61 74 61 20 | 6f 6e 20 74 68 65 0a 6e |ze data |on the.n|
|000022c0| 75 6d 62 65 72 20 73 74 | 61 63 6b 2c 20 74 68 65 |umber st|ack, the|
|000022d0| 6e 20 74 68 65 20 4e 46 | 50 20 77 69 6c 6c 20 67 |n the NF|P will g|
|000022e0| 65 6e 65 72 61 6c 6c 79 | 20 62 65 20 69 64 65 6e |enerally| be iden|
|000022f0| 74 69 63 61 6c 20 74 6f | 20 74 68 65 20 4e 53 50 |tical to| the NSP|
|00002300| 2e 0a 0a 5c 69 74 65 6d | 5b 4c 69 73 70 20 72 65 |...\item|[Lisp re|
|00002310| 74 75 72 6e 20 61 64 64 | 72 65 73 73 5d 20 54 68 |turn add|ress] Th|
|00002320| 65 20 6e 61 6d 65 20 6f | 66 20 74 68 65 20 7b 5c |e name o|f the {\|
|00002330| 69 74 20 64 65 73 63 72 | 69 70 74 6f 72 7d 20 65 |it descr|iptor} e|
|00002340| 6e 63 6f 64 69 6e 67 20 | 74 68 65 0a 22 72 65 74 |ncoding |the."ret|
|00002350| 75 72 6e 20 70 63 22 20 | 66 6f 72 20 61 20 66 75 |urn pc" |for a fu|
|00002360| 6e 63 74 69 6f 6e 20 63 | 61 6c 6c 2e 0a 0a 5c 69 |nction c|all...\i|
|00002370| 74 65 6d 5b 4c 52 41 5d | 20 53 65 65 20 7b 5c 69 |tem[LRA]| See {\i|
|00002380| 74 20 6c 69 73 70 20 72 | 65 74 75 72 6e 20 61 64 |t lisp r|eturn ad|
|00002390| 64 72 65 73 73 7d 2e 20 | 20 41 6c 73 6f 2c 20 74 |dress}. | Also, t|
|000023a0| 68 65 20 6e 61 6d 65 20 | 6f 66 20 74 68 65 20 72 |he name |of the r|
|000023b0| 65 67 69 73 74 65 72 20 | 77 68 65 72 65 0a 74 68 |egister |where.th|
|000023c0| 65 20 4c 52 41 20 69 73 | 20 70 61 73 73 65 64 2e |e LRA is| passed.|
|000023d0| 0a 0a 0a 5c 69 74 65 6d | 5b 43 6f 64 65 20 70 6f |...\item|[Code po|
|000023e0| 69 6e 74 65 72 5d 20 41 | 20 70 6f 69 6e 74 65 72 |inter] A| pointer|
|000023f0| 20 74 6f 20 74 68 65 20 | 68 65 61 64 65 72 20 6f | to the |header o|
|00002400| 66 20 61 20 63 6f 64 65 | 20 6f 62 6a 65 63 74 2e |f a code| object.|
|00002410| 20 20 54 68 65 20 63 6f | 64 65 20 70 6f 69 6e 74 | The co|de point|
|00002420| 65 72 0a 66 6f 72 20 74 | 68 65 20 63 75 72 72 65 |er.for t|he curre|
|00002430| 6e 74 6c 79 20 72 75 6e | 6e 69 6e 67 20 66 75 6e |ntly run|ning fun|
|00002440| 63 74 69 6f 6e 20 69 73 | 20 73 74 6f 72 65 64 20 |ction is| stored |
|00002450| 69 6e 20 74 68 65 20 7b | 5c 74 74 20 63 6f 64 65 |in the {|\tt code|
|00002460| 7d 20 72 65 67 69 73 74 | 65 72 2e 0a 0a 5c 69 74 |} regist|er...\it|
|00002470| 65 6d 5b 49 6e 74 65 72 | 69 6f 72 20 70 6f 69 6e |em[Inter|ior poin|
|00002480| 74 65 72 5d 20 41 20 70 | 6f 69 6e 74 65 72 20 69 |ter] A p|ointer i|
|00002490| 6e 74 6f 20 74 68 65 20 | 69 6e 73 69 64 65 20 6f |nto the |inside o|
|000024a0| 66 20 73 6f 6d 65 20 68 | 65 61 70 2d 61 6c 6c 6f |f some h|eap-allo|
|000024b0| 63 61 74 65 64 0a 6f 62 | 6a 65 63 74 2e 20 20 49 |cated.ob|ject. I|
|000024c0| 6e 74 65 72 69 6f 72 20 | 70 6f 69 6e 74 65 72 73 |nterior |pointers|
|000024d0| 20 63 6f 6e 66 75 73 65 | 20 74 68 65 20 67 61 72 | confuse| the gar|
|000024e0| 62 61 67 65 20 63 6f 6c | 6c 65 63 74 6f 72 2c 20 |bage col|lector, |
|000024f0| 73 6f 20 74 68 65 69 72 | 20 75 73 65 20 69 73 0a |so their| use is.|
|00002500| 68 69 67 68 6c 79 20 63 | 6f 6e 73 74 72 61 69 6e |highly c|onstrain|
|00002510| 65 64 2e 20 20 54 79 70 | 69 63 61 6c 6c 79 20 74 |ed. Typ|ically t|
|00002520| 68 65 72 65 20 69 73 20 | 61 20 73 69 6e 67 6c 65 |here is |a single|
|00002530| 20 72 65 67 69 73 74 65 | 72 20 64 65 64 69 63 61 | registe|r dedica|
|00002540| 74 65 64 20 74 6f 20 68 | 6f 6c 64 69 6e 67 0a 69 |ted to h|olding.i|
|00002550| 6e 74 65 72 69 6f 72 20 | 70 6f 69 6e 74 65 72 73 |nterior |pointers|
|00002560| 2e 0a 0a 5c 69 74 65 6d | 5b 64 65 73 74 5d 0a 41 |...\item|[dest].A|
|00002570| 20 73 6c 6f 74 20 69 6e | 20 74 68 65 20 7b 5c 69 | slot in| the {\i|
|00002580| 74 20 63 6f 6e 74 69 6e | 75 61 74 69 6f 6e 7d 20 |t contin|uation} |
|00002590| 77 68 69 63 68 20 70 6f | 69 6e 74 73 20 74 68 65 |which po|ints the|
|000025a0| 20 74 68 65 20 6e 6f 64 | 65 20 74 68 61 74 20 72 | the nod|e that r|
|000025b0| 65 63 65 69 76 65 73 20 | 74 68 69 73 0a 76 61 6c |eceives |this.val|
|000025c0| 75 65 2e 20 20 4e 75 6c | 6c 20 69 66 20 74 68 69 |ue. Nul|l if thi|
|000025d0| 73 20 76 61 6c 75 65 20 | 69 73 20 6e 6f 74 20 72 |s value |is not r|
|000025e0| 65 63 65 69 76 65 64 20 | 62 79 20 61 6e 79 6f 6e |eceived |by anyon|
|000025f0| 65 2e 0a 0a 5c 69 74 65 | 6d 5b 44 46 4e 2c 20 44 |e...\ite|m[DFN, D|
|00002600| 46 4f 5d 20 53 65 65 20 | 7b 5c 69 74 20 44 65 70 |FO] See |{\it Dep|
|00002610| 74 68 20 46 69 72 73 74 | 20 4e 75 6d 62 65 72 7d |th First| Number}|
|00002620| 2c 20 7b 5c 69 74 20 44 | 65 70 74 68 20 46 69 72 |, {\it D|epth Fir|
|00002630| 73 74 20 4f 72 64 65 72 | 7d 2e 0a 0a 5c 69 74 65 |st Order|}...\ite|
|00002640| 6d 5b 44 65 70 74 68 20 | 66 69 72 73 74 20 6e 75 |m[Depth |first nu|
|00002650| 6d 62 65 72 5d 20 42 6c | 6f 63 6b 73 20 61 72 65 |mber] Bl|ocks are|
|00002660| 20 6e 75 6d 62 65 72 65 | 64 20 61 63 63 6f 72 64 | numbere|d accord|
|00002670| 69 6e 67 20 74 6f 20 74 | 68 65 69 72 20 61 70 70 |ing to t|heir app|
|00002680| 65 61 72 61 6e 63 65 20 | 69 6e 0a 74 68 65 20 64 |earance |in.the d|
|00002690| 65 70 74 68 2d 66 69 72 | 73 74 20 6f 72 64 65 72 |epth-fir|st order|
|000026a0| 69 6e 67 20 28 74 68 65 | 20 7b 5c 74 74 20 62 6c |ing (the| {\tt bl|
|000026b0| 6f 63 6b 2d 6e 75 6d 62 | 65 72 7d 20 73 6c 6f 74 |ock-numb|er} slot|
|000026c0| 2e 29 20 20 54 68 65 20 | 6e 75 6d 62 65 72 69 6e |.) The |numberin|
|000026d0| 67 20 61 63 74 75 61 6c | 6c 79 0a 69 6e 63 72 65 |g actual|ly.incre|
|000026e0| 61 73 65 73 20 66 72 6f | 6d 20 74 68 65 20 63 6f |ases fro|m the co|
|000026f0| 6d 70 6f 6e 65 6e 74 20 | 74 61 69 6c 2c 20 73 6f |mponent |tail, so|
|00002700| 20 65 61 72 6c 69 65 72 | 20 62 6c 6f 63 6b 73 20 | earlier| blocks |
|00002710| 68 61 76 65 20 6c 61 72 | 67 65 72 20 6e 75 6d 62 |have lar|ger numb|
|00002720| 65 72 73 2e 0a 0a 5c 69 | 74 65 6d 5b 44 65 70 74 |ers...\i|tem[Dept|
|00002730| 68 20 66 69 72 73 74 20 | 6f 72 64 65 72 5d 20 54 |h first |order] T|
|00002740| 68 69 73 20 69 73 20 61 | 20 6c 69 6e 65 61 72 69 |his is a| lineari|
|00002750| 7a 61 74 69 6f 6e 20 6f | 66 20 74 68 65 20 66 6c |zation o|f the fl|
|00002760| 6f 77 20 67 72 61 70 68 | 2c 20 6f 62 74 61 69 6e |ow graph|, obtain|
|00002770| 65 64 20 62 79 0a 61 20 | 64 65 70 74 68 2d 66 69 |ed by.a |depth-fi|
|00002780| 72 73 74 20 77 61 6c 6b | 2e 20 20 49 74 65 72 61 |rst walk|. Itera|
|00002790| 74 69 76 65 20 66 6c 6f | 77 20 61 6e 61 6c 79 73 |tive flo|w analys|
|000027a0| 69 73 20 61 6c 67 6f 72 | 69 74 68 6d 73 20 77 6f |is algor|ithms wo|
|000027b0| 72 6b 20 62 65 74 74 65 | 72 20 77 68 65 6e 20 62 |rk bette|r when b|
|000027c0| 6c 6f 63 6b 73 0a 61 72 | 65 20 70 72 6f 63 65 73 |locks.ar|e proces|
|000027d0| 73 65 64 20 69 6e 20 44 | 46 4f 20 28 6f 72 20 72 |sed in D|FO (or r|
|000027e0| 65 76 65 72 73 65 20 44 | 46 4f 2e 29 0a 0a 0a 5c |everse D|FO.)...\|
|000027f0| 69 74 65 6d 5b 4f 62 6a | 65 63 74 5d 20 49 6e 20 |item[Obj|ect] In |
|00002800| 6c 6f 77 2d 6c 65 76 65 | 6c 20 64 65 73 69 67 6e |low-leve|l design|
|00002810| 20 64 69 73 63 75 73 73 | 69 6f 6e 73 2c 20 61 6e | discuss|ions, an|
|00002820| 20 6f 62 6a 65 63 74 20 | 69 73 20 6f 6e 65 20 6f | object |is one o|
|00002830| 66 20 74 68 65 0a 66 6f | 6c 6c 6f 77 69 6e 67 3a |f the.fo|llowing:|
|00002840| 0a 5c 62 65 67 69 6e 7b | 69 74 65 6d 69 7a 65 7d |.\begin{|itemize}|
|00002850| 0a 5c 69 74 65 6d 20 61 | 20 73 69 6e 67 6c 65 20 |.\item a| single |
|00002860| 77 6f 72 64 20 63 6f 6e | 74 61 69 6e 69 6e 67 20 |word con|taining |
|00002870| 69 6d 6d 65 64 69 61 74 | 65 20 64 61 74 61 20 28 |immediat|e data (|
|00002880| 63 68 61 72 61 63 74 65 | 72 73 2c 20 66 69 78 6e |characte|rs, fixn|
|00002890| 75 6d 73 2c 20 65 74 63 | 29 0a 5c 69 74 65 6d 20 |ums, etc|).\item |
|000028a0| 61 20 73 69 6e 67 6c 65 | 20 77 6f 72 64 20 70 6f |a single| word po|
|000028b0| 69 6e 74 69 6e 67 20 74 | 6f 20 61 6e 20 6f 62 6a |inting t|o an obj|
|000028c0| 65 63 74 20 28 73 74 72 | 75 63 74 75 72 65 73 2c |ect (str|uctures,|
|000028d0| 20 63 6f 6e 73 65 73 2c | 20 65 74 63 2e 29 0a 5c | conses,| etc.).\|
|000028e0| 65 6e 64 7b 69 74 65 6d | 69 7a 65 7d 0a 54 68 65 |end{item|ize}.The|
|000028f0| 73 65 20 61 72 65 20 74 | 61 67 67 65 64 20 77 69 |se are t|agged wi|
|00002900| 74 68 20 74 68 72 65 65 | 20 6c 6f 77 2d 74 61 67 |th three| low-tag|
|00002910| 20 62 69 74 73 20 61 73 | 20 64 65 73 63 72 69 62 | bits as| describ|
|00002920| 65 64 20 69 6e 20 74 68 | 65 20 73 65 63 74 69 6f |ed in th|e sectio|
|00002930| 6e 0a 5c 72 65 66 7b 74 | 61 67 67 69 6e 67 7d 20 |n.\ref{t|agging} |
|00002940| 54 68 69 73 20 69 73 20 | 73 79 6e 6f 6e 79 6d 6f |This is |synonymo|
|00002950| 75 73 20 77 69 74 68 20 | 7b 5c 69 74 20 64 65 73 |us with |{\it des|
|00002960| 63 72 69 70 74 6f 72 7d | 2e 0a 49 6e 20 6f 74 68 |criptor}|..In oth|
|00002970| 65 72 20 70 61 72 74 73 | 20 6f 66 20 74 68 65 20 |er parts| of the |
|00002980| 64 6f 63 75 6d 65 6e 74 | 61 74 69 6f 6e 2c 20 6d |document|ation, m|
|00002990| 61 79 20 62 65 20 75 73 | 65 64 20 6d 6f 72 65 20 |ay be us|ed more |
|000029a0| 6c 6f 6f 73 65 6c 79 20 | 74 6f 20 72 65 66 65 72 |loosely |to refer|
|000029b0| 20 74 6f 20 61 0a 7b 5c | 69 74 20 6c 69 73 70 20 | to a.{\|it lisp |
|000029c0| 6f 62 6a 65 63 74 7d 2e | 0a 0a 5c 69 74 65 6d 5b |object}.|..\item[|
|000029d0| 4c 69 73 70 20 6f 62 6a | 65 63 74 5d 0a 41 20 4c |Lisp obj|ect].A L|
|000029e0| 69 73 70 20 6f 62 6a 65 | 63 74 20 69 73 20 61 20 |isp obje|ct is a |
|000029f0| 68 69 67 68 2d 6c 65 76 | 65 6c 20 6f 62 6a 65 63 |high-lev|el objec|
|00002a00| 74 20 64 69 73 63 75 73 | 73 65 64 20 61 73 20 61 |t discus|sed as a|
|00002a10| 20 64 61 74 61 20 74 79 | 70 65 20 69 6e 20 74 68 | data ty|pe in th|
|00002a20| 65 20 43 6f 6d 6d 6f 6e | 0a 4c 69 73 70 20 64 65 |e Common|.Lisp de|
|00002a30| 66 69 6e 69 74 69 6f 6e | 2e 0a 0a 5c 69 74 65 6d |finition|...\item|
|00002a40| 5b 44 61 74 61 2d 62 6c | 6f 63 6b 5d 0a 41 20 64 |[Data-bl|ock].A d|
|00002a50| 61 74 61 2d 62 6c 6f 63 | 6b 20 69 73 20 61 20 64 |ata-bloc|k is a d|
|00002a60| 75 61 6c 2d 77 6f 72 64 | 20 61 6c 69 67 6e 65 64 |ual-word| aligned|
|00002a70| 20 62 6c 6f 63 6b 20 6f | 66 20 6d 65 6d 6f 72 79 | block o|f memory|
|00002a80| 20 74 68 61 74 20 65 69 | 74 68 65 72 20 6d 61 6e | that ei|ther man|
|00002a90| 69 66 65 73 74 73 20 61 | 0a 4c 69 73 70 20 6f 62 |ifests a|.Lisp ob|
|00002aa0| 6a 65 63 74 20 28 76 65 | 63 74 6f 72 73 2c 20 63 |ject (ve|ctors, c|
|00002ab0| 6f 64 65 2c 20 73 79 6d | 62 6f 6c 73 2c 20 65 74 |ode, sym|bols, et|
|00002ac0| 63 2e 29 20 6f 72 20 68 | 65 6c 70 73 20 6d 61 6e |c.) or h|elps man|
|00002ad0| 61 67 65 20 61 20 4c 69 | 73 70 20 6f 62 6a 65 63 |age a Li|sp objec|
|00002ae0| 74 20 6f 6e 0a 74 68 65 | 20 68 65 61 70 20 28 61 |t on.the| heap (a|
|00002af0| 72 72 61 79 20 68 65 61 | 64 65 72 2c 20 66 75 6e |rray hea|der, fun|
|00002b00| 63 74 69 6f 6e 20 68 65 | 61 64 65 72 2c 20 65 74 |ction he|ader, et|
|00002b10| 63 2e 29 2e 0a 0a 5c 69 | 74 65 6d 5b 44 65 73 63 |c.)...\i|tem[Desc|
|00002b20| 72 69 70 74 6f 72 5d 0a | 41 20 64 65 73 63 72 69 |riptor].|A descri|
|00002b30| 70 74 6f 72 20 69 73 20 | 61 20 74 61 67 67 65 64 |ptor is |a tagged|
|00002b40| 2c 20 73 69 6e 67 6c 65 | 2d 77 6f 72 64 20 6f 62 |, single|-word ob|
|00002b50| 6a 65 63 74 2e 20 20 49 | 74 20 65 69 74 68 65 72 |ject. I|t either|
|00002b60| 20 63 6f 6e 74 61 69 6e | 73 20 69 6d 6d 65 64 69 | contain|s immedi|
|00002b70| 61 74 65 0a 64 61 74 61 | 20 6f 72 20 61 20 70 6f |ate.data| or a po|
|00002b80| 69 6e 74 65 72 20 74 6f | 20 64 61 74 61 2e 20 20 |inter to| data. |
|00002b90| 54 68 69 73 20 69 73 20 | 73 79 6e 6f 6e 79 6d 6f |This is |synonymo|
|00002ba0| 75 73 20 77 69 74 68 20 | 7b 5c 69 74 20 6f 62 6a |us with |{\it obj|
|00002bb0| 65 63 74 7d 2e 20 20 53 | 74 6f 72 61 67 65 0a 6c |ect}. S|torage.l|
|00002bc0| 6f 63 61 74 69 6f 6e 73 | 20 74 68 61 74 20 6d 75 |ocations| that mu|
|00002bd0| 73 74 20 63 6f 6e 74 61 | 69 6e 20 64 65 73 63 72 |st conta|in descr|
|00002be0| 69 70 74 6f 72 73 20 61 | 72 65 20 72 65 66 65 72 |iptors a|re refer|
|00002bf0| 72 65 64 20 74 6f 20 61 | 73 20 64 65 73 63 72 69 |red to a|s descri|
|00002c00| 70 74 6f 72 0a 6c 6f 63 | 61 74 69 6f 6e 73 2e 0a |ptor.loc|ations..|
|00002c10| 0a 5c 69 74 65 6d 5b 50 | 6f 69 6e 74 65 72 20 64 |.\item[P|ointer d|
|00002c20| 65 73 63 72 69 70 74 6f | 72 5d 0a 41 20 64 65 73 |escripto|r].A des|
|00002c30| 63 72 69 70 74 6f 72 20 | 74 68 61 74 20 70 6f 69 |criptor |that poi|
|00002c40| 6e 74 73 20 74 6f 20 61 | 20 7b 5c 69 74 20 64 61 |nts to a| {\it da|
|00002c50| 74 61 20 62 6c 6f 63 6b | 7d 20 69 6e 20 6d 65 6d |ta block|} in mem|
|00002c60| 6f 72 79 20 28 69 2e 65 | 2e 20 6e 6f 74 20 61 6e |ory (i.e|. not an|
|00002c70| 20 69 6d 6d 65 64 69 61 | 74 65 0a 6f 62 6a 65 63 | immedia|te.objec|
|00002c80| 74 2e 29 0a 0a 5c 69 74 | 65 6d 5b 49 6d 6d 65 64 |t.)..\it|em[Immed|
|00002c90| 69 61 74 65 20 64 65 73 | 63 72 69 70 74 6f 72 5d |iate des|criptor]|
|00002ca0| 0a 41 20 64 65 73 63 72 | 69 70 74 6f 72 20 74 68 |.A descr|iptor th|
|00002cb0| 61 74 20 65 6e 63 6f 64 | 65 73 20 74 68 65 20 6f |at encod|es the o|
|00002cc0| 62 6a 65 63 74 20 76 61 | 6c 75 65 20 69 6e 20 74 |bject va|lue in t|
|00002cd0| 68 65 20 64 65 73 63 72 | 69 70 74 6f 72 20 69 74 |he descr|iptor it|
|00002ce0| 73 65 6c 66 3b 20 75 73 | 65 64 20 66 6f 72 0a 63 |self; us|ed for.c|
|00002cf0| 68 61 72 61 63 74 65 72 | 73 2c 20 66 69 78 6e 75 |haracter|s, fixnu|
|00002d00| 6d 73 2c 20 65 74 63 2e | 0a 0a 5c 69 74 65 6d 5b |ms, etc.|..\item[|
|00002d10| 57 6f 72 64 5d 0a 41 20 | 77 6f 72 64 20 69 73 20 |Word].A |word is |
|00002d20| 61 20 33 32 2d 62 69 74 | 20 71 75 61 6e 74 69 74 |a 32-bit| quantit|
|00002d30| 79 2e 0a 0a 5c 69 74 65 | 6d 5b 4e 6f 6e 2d 64 65 |y...\ite|m[Non-de|
|00002d40| 73 63 72 69 70 74 6f 72 | 5d 0a 41 6e 79 20 63 68 |scriptor|].Any ch|
|00002d50| 75 6e 6b 20 6f 66 20 62 | 69 74 73 20 74 68 61 74 |unk of b|its that|
|00002d60| 20 69 73 6e 27 74 20 61 | 20 76 61 6c 69 64 20 74 | isn't a| valid t|
|00002d70| 61 67 67 65 64 20 64 65 | 73 63 72 69 70 74 6f 72 |agged de|scriptor|
|00002d80| 2e 20 20 46 6f 72 20 65 | 78 61 6d 70 6c 65 2c 20 |. For e|xample, |
|00002d90| 61 0a 64 6f 75 62 6c 65 | 2d 66 6c 6f 61 74 20 6f |a.double|-float o|
|00002da0| 6e 20 74 68 65 20 6e 75 | 6d 62 65 72 20 73 74 61 |n the nu|mber sta|
|00002db0| 63 6b 2e 20 20 53 74 6f | 72 61 67 65 20 6c 6f 63 |ck. Sto|rage loc|
|00002dc0| 61 74 69 6f 6e 73 20 74 | 68 61 74 20 61 72 65 20 |ations t|hat are |
|00002dd0| 6e 6f 74 20 73 63 61 6e | 6e 65 64 20 62 79 0a 74 |not scan|ned by.t|
|00002de0| 68 65 20 67 61 72 62 61 | 67 65 20 63 6f 6c 6c 65 |he garba|ge colle|
|00002df0| 63 74 6f 72 20 28 61 6e | 64 20 74 68 75 73 20 63 |ctor (an|d thus c|
|00002e00| 61 6e 6e 6f 74 20 63 6f | 6e 74 61 69 6e 20 7b 5c |annot co|ntain {\|
|00002e10| 69 74 20 70 6f 69 6e 74 | 65 72 20 64 65 73 63 72 |it point|er descr|
|00002e20| 69 70 74 6f 72 73 7d 29 | 20 61 72 65 0a 63 61 6c |iptors})| are.cal|
|00002e30| 6c 65 64 20 6e 6f 6e 2d | 64 65 73 63 72 69 70 74 |led non-|descript|
|00002e40| 6f 72 20 6c 6f 63 61 74 | 69 6f 6e 73 2e 20 20 7b |or locat|ions. {|
|00002e50| 5c 69 74 20 49 6d 6d 65 | 64 69 61 74 65 20 64 65 |\it Imme|diate de|
|00002e60| 73 63 72 69 70 74 6f 72 | 73 7d 20 63 61 6e 20 62 |scriptor|s} can b|
|00002e70| 65 20 73 74 6f 72 65 64 | 20 69 6e 0a 6e 6f 6e 2d |e stored| in.non-|
|00002e80| 64 65 73 63 72 69 70 74 | 6f 72 20 6c 6f 63 61 74 |descript|or locat|
|00002e90| 69 6f 6e 73 2e 0a 0a 0a | 5c 69 74 65 6d 5b 45 6e |ions....|\item[En|
|00002ea0| 74 72 79 20 70 6f 69 6e | 74 5d 20 41 6e 20 65 6e |try poin|t] An en|
|00002eb0| 74 72 79 20 70 6f 69 6e | 74 20 69 73 20 61 20 66 |try poin|t is a f|
|00002ec0| 75 6e 63 74 69 6f 6e 20 | 74 68 61 74 20 6d 61 79 |unction |that may|
|00002ed0| 20 62 65 20 73 75 62 6a | 65 63 74 20 74 6f 0a 60 | be subj|ect to.`|
|00002ee0| 60 75 6e 70 72 65 64 69 | 63 74 61 62 6c 65 27 27 |`unpredi|ctable''|
|00002ef0| 20 63 6f 6e 74 72 6f 6c | 20 74 72 61 6e 73 66 65 | control| transfe|
|00002f00| 72 73 2e 20 20 41 6c 6c | 20 65 6e 74 72 79 20 70 |rs. All| entry p|
|00002f10| 6f 69 6e 74 73 20 61 72 | 65 20 6c 69 6e 6b 65 64 |oints ar|e linked|
|00002f20| 20 74 6f 20 74 68 65 20 | 72 6f 6f 74 0a 6f 66 20 | to the |root.of |
|00002f30| 74 68 65 20 66 6c 6f 77 | 20 67 72 61 70 68 20 28 |the flow| graph (|
|00002f40| 74 68 65 20 63 6f 6d 70 | 6f 6e 65 6e 74 20 68 65 |the comp|onent he|
|00002f50| 61 64 2e 29 20 20 54 68 | 65 20 6f 6e 6c 79 20 66 |ad.) Th|e only f|
|00002f60| 75 6e 63 74 69 6f 6e 73 | 20 74 68 61 74 20 61 72 |unctions| that ar|
|00002f70| 65 6e 27 74 20 65 6e 74 | 72 79 0a 70 6f 69 6e 74 |en't ent|ry.point|
|00002f80| 73 20 61 72 65 20 7b 5c | 69 74 20 6c 65 74 7d 20 |s are {\|it let} |
|00002f90| 66 75 6e 63 74 69 6f 6e | 73 2e 20 20 57 68 65 6e |function|s. When|
|00002fa0| 20 63 6f 6d 70 6c 65 78 | 20 6c 61 6d 62 64 61 2d | complex| lambda-|
|00002fb0| 6c 69 73 74 20 73 79 6e | 74 61 78 20 69 73 20 75 |list syn|tax is u|
|00002fc0| 73 65 64 2c 0a 6d 75 6c | 74 69 70 6c 65 20 65 6e |sed,.mul|tiple en|
|00002fd0| 74 72 79 20 70 6f 69 6e | 74 73 20 6d 61 79 20 62 |try poin|ts may b|
|00002fe0| 65 20 63 72 65 61 74 65 | 64 20 66 6f 72 20 61 20 |e create|d for a |
|00002ff0| 73 69 6e 67 6c 65 20 6c | 69 73 70 2d 6c 65 76 65 |single l|isp-leve|
|00003000| 6c 20 66 75 6e 63 74 69 | 6f 6e 2e 0a 53 65 65 20 |l functi|on..See |
|00003010| 7b 5c 69 74 20 65 78 74 | 65 72 6e 61 6c 20 65 6e |{\it ext|ernal en|
|00003020| 74 72 79 20 70 6f 69 6e | 74 7d 2e 0a 0a 5c 69 74 |try poin|t}...\it|
|00003030| 65 6d 5b 45 78 74 65 72 | 6e 61 6c 20 65 6e 74 72 |em[Exter|nal entr|
|00003040| 79 20 70 6f 69 6e 74 5d | 20 41 20 66 75 6e 63 74 |y point]| A funct|
|00003050| 69 6f 6e 20 74 68 61 74 | 20 73 65 72 76 65 73 20 |ion that| serves |
|00003060| 61 73 20 61 20 60 60 74 | 72 61 6d 70 6f 6c 69 6e |as a ``t|rampolin|
|00003070| 65 27 27 20 74 6f 0a 69 | 6e 74 65 72 63 65 70 74 |e'' to.i|ntercept|
|00003080| 20 66 75 6e 63 74 69 6f | 6e 20 63 61 6c 6c 73 20 | functio|n calls |
|00003090| 63 6f 6d 69 6e 67 20 69 | 6e 20 66 72 6f 6d 20 6f |coming i|n from o|
|000030a0| 75 74 73 69 64 65 20 6f | 66 20 74 68 65 20 63 6f |utside o|f the co|
|000030b0| 6d 70 6f 6e 65 6e 74 2e | 20 20 54 68 65 20 58 45 |mponent.| The XE|
|000030c0| 50 20 64 6f 65 73 0a 61 | 72 67 75 6d 65 6e 74 20 |P does.a|rgument |
|000030d0| 73 79 6e 74 61 78 20 61 | 6e 64 20 74 79 70 65 20 |syntax a|nd type |
|000030e0| 63 68 65 63 6b 69 6e 67 | 2c 20 61 6e 64 20 6d 61 |checking|, and ma|
|000030f0| 79 20 61 6c 73 6f 20 74 | 72 61 6e 73 6c 61 74 65 |y also t|ranslate|
|00003100| 20 74 68 65 20 61 72 67 | 75 6d 65 6e 74 73 20 61 | the arg|uments a|
|00003110| 6e 64 0a 72 65 74 75 72 | 6e 20 76 61 6c 75 65 73 |nd.retur|n values|
|00003120| 20 66 6f 72 20 61 20 6c | 6f 63 61 6c 6c 79 20 73 | for a l|ocally s|
|00003130| 70 65 63 69 61 6c 69 7a | 65 64 20 63 61 6c 6c 69 |pecializ|ed calli|
|00003140| 6e 67 20 63 61 6c 6c 69 | 6e 67 20 63 6f 6e 76 65 |ng calli|ng conve|
|00003150| 6e 74 69 6f 6e 2e 0a 0a | 5c 69 74 65 6d 5b 58 45 |ntion...|\item[XE|
|00003160| 50 5d 20 41 6e 20 7b 5c | 69 74 20 65 78 74 65 72 |P] An {\|it exter|
|00003170| 6e 61 6c 20 65 6e 74 72 | 79 20 70 6f 69 6e 74 7d |nal entr|y point}|
|00003180| 2e 0a 0a 5c 69 74 65 6d | 5b 6c 65 78 69 63 61 6c |...\item|[lexical|
|00003190| 20 65 6e 76 69 72 6f 6e | 6d 65 6e 74 5d 20 41 20 | environ|ment] A |
|000031a0| 6c 65 78 69 63 61 6c 20 | 65 6e 76 69 72 6f 6e 6d |lexical |environm|
|000031b0| 65 6e 74 20 69 73 20 61 | 20 73 74 72 75 63 74 75 |ent is a| structu|
|000031c0| 72 65 20 74 68 61 74 20 | 69 73 20 75 73 65 64 0a |re that |is used.|
|000031d0| 64 75 72 69 6e 67 20 56 | 4d 52 20 63 6f 6e 76 65 |during V|MR conve|
|000031e0| 72 73 69 6f 6e 20 74 6f | 20 72 65 70 72 65 73 65 |rsion to| represe|
|000031f0| 6e 74 20 61 6c 6c 20 6c | 65 78 69 63 61 6c 6c 79 |nt all l|exically|
|00003200| 20 73 63 6f 70 65 64 20 | 62 69 6e 64 69 6e 67 73 | scoped |bindings|
|00003210| 20 28 76 61 72 69 61 62 | 6c 65 73 2c 0a 66 75 6e | (variab|les,.fun|
|00003220| 63 74 69 6f 6e 73 2c 20 | 64 65 63 6c 61 72 61 74 |ctions, |declarat|
|00003230| 69 6f 6e 73 2c 20 65 74 | 63 2e 29 20 20 45 61 63 |ions, et|c.) Eac|
|00003240| 68 20 7b 5c 74 74 20 6e | 6f 64 65 7d 20 69 73 20 |h {\tt n|ode} is |
|00003250| 61 6e 6e 6f 74 61 74 65 | 64 20 77 69 74 68 20 69 |annotate|d with i|
|00003260| 74 73 20 6c 65 78 69 63 | 61 6c 0a 65 6e 76 69 72 |ts lexic|al.envir|
|00003270| 6f 6e 6d 65 6e 74 2c 20 | 70 72 69 6d 61 72 69 6c |onment, |primaril|
|00003280| 79 20 66 6f 72 20 75 73 | 65 20 62 79 20 74 68 65 |y for us|e by the|
|00003290| 20 64 65 62 75 67 67 65 | 72 20 61 6e 64 20 6f 74 | debugge|r and ot|
|000032a0| 68 65 72 20 75 73 65 72 | 20 69 6e 74 65 72 66 61 |her user| interfa|
|000032b0| 63 65 73 2e 20 20 54 68 | 69 73 0a 73 74 72 75 63 |ces. Th|is.struc|
|000032c0| 74 75 72 65 20 69 73 20 | 61 6c 73 6f 20 74 68 65 |ture is |also the|
|000032d0| 20 65 6e 76 69 72 6f 6e | 6d 65 6e 74 20 6f 62 6a | environ|ment obj|
|000032e0| 65 63 74 20 70 61 73 73 | 65 64 20 74 6f 20 7b 5c |ect pass|ed to {\|
|000032f0| 74 74 20 6d 61 63 72 6f | 65 78 70 61 6e 64 7d 2e |tt macro|expand}.|
|00003300| 0a 0a 5c 69 74 65 6d 5b | 65 6e 76 69 72 6f 6e 6d |..\item[|environm|
|00003310| 65 6e 74 5d 20 54 68 65 | 20 65 6e 76 69 72 6f 6e |ent] The| environ|
|00003320| 6d 65 6e 74 20 69 73 20 | 70 61 72 74 20 6f 66 20 |ment is |part of |
|00003330| 74 68 65 20 49 43 52 2c | 20 63 72 65 61 74 65 64 |the ICR,| created|
|00003340| 20 64 75 72 69 6e 67 0a | 65 6e 76 69 72 6f 6e 6d | during.|environm|
|00003350| 65 6e 74 20 61 6e 61 6c | 79 73 69 73 2e 20 20 45 |ent anal|ysis. E|
|00003360| 6e 76 69 72 6f 6e 6d 65 | 6e 74 20 61 6e 61 6c 79 |nvironme|nt analy|
|00003370| 73 69 73 20 61 70 70 6f | 72 74 69 6f 6e 73 20 63 |sis appo|rtions c|
|00003380| 6f 64 65 20 74 6f 20 64 | 69 73 6a 6f 69 6e 74 0a |ode to d|isjoint.|
|00003390| 65 6e 76 69 72 6f 6e 6d | 65 6e 74 73 2c 20 77 69 |environm|ents, wi|
|000033a0| 74 68 20 61 6c 6c 20 63 | 6f 64 65 20 69 6e 20 74 |th all c|ode in t|
|000033b0| 68 65 20 73 61 6d 65 20 | 65 6e 76 69 72 6f 6e 6d |he same |environm|
|000033c0| 65 6e 74 20 73 68 61 72 | 69 6e 67 20 74 68 65 20 |ent shar|ing the |
|000033d0| 73 61 6d 65 20 73 74 61 | 63 6b 0a 66 72 61 6d 65 |same sta|ck.frame|
|000033e0| 2e 20 20 45 61 63 68 20 | 65 6e 76 69 72 6f 6e 6d |. Each |environm|
|000033f0| 65 6e 74 20 68 61 73 20 | 61 20 60 60 7b 5c 69 74 |ent has |a ``{\it|
|00003400| 20 72 65 61 6c 7d 27 27 | 20 66 75 6e 63 74 69 6f | real}''| functio|
|00003410| 6e 20 74 68 61 74 20 61 | 6c 6c 6f 63 61 74 65 73 |n that a|llocates|
|00003420| 20 69 74 2c 20 61 6e 64 | 0a 73 6f 6d 65 20 63 6f | it, and|.some co|
|00003430| 6c 6c 65 63 74 69 6f 6e | 20 7b 5c 74 74 20 6c 65 |llection| {\tt le|
|00003440| 74 7d 20 66 75 6e 63 74 | 69 6f 6e 73 2e 20 20 20 |t} funct|ions. |
|00003450| 41 6c 74 68 6f 75 67 68 | 20 65 6e 76 69 72 6f 6e |Although| environ|
|00003460| 6d 65 6e 74 20 61 6e 61 | 6c 79 73 69 73 20 69 73 |ment ana|lysis is|
|00003470| 20 74 68 65 0a 6c 61 73 | 74 20 49 43 52 20 70 68 | the.las|t ICR ph|
|00003480| 61 73 65 2c 20 69 6e 20 | 65 61 72 6c 69 65 72 20 |ase, in |earlier |
|00003490| 70 68 61 73 65 73 2c 20 | 63 6f 64 65 20 69 73 20 |phases, |code is |
|000034a0| 73 6f 6d 65 74 69 6d 65 | 73 20 73 61 69 64 20 74 |sometime|s said t|
|000034b0| 6f 20 62 65 20 60 60 69 | 6e 20 74 68 65 0a 73 61 |o be ``i|n the.sa|
|000034c0| 6d 65 2f 64 69 66 66 65 | 72 65 6e 74 20 65 6e 76 |me/diffe|rent env|
|000034d0| 69 72 6f 6e 6d 65 6e 74 | 28 73 29 27 27 2e 20 20 |ironment|(s)''. |
|000034e0| 54 68 69 73 20 6d 65 61 | 6e 73 20 74 68 61 74 20 |This mea|ns that |
|000034f0| 74 68 65 20 63 6f 64 65 | 20 77 69 6c 6c 20 64 65 |the code| will de|
|00003500| 66 69 6e 69 74 65 6c 79 | 20 62 65 0a 69 6e 20 74 |finitely| be.in t|
|00003510| 68 65 20 73 61 6d 65 20 | 65 6e 76 69 72 6f 6e 6d |he same |environm|
|00003520| 65 6e 74 20 28 62 65 63 | 61 75 73 65 20 69 74 20 |ent (bec|ause it |
|00003530| 69 73 20 69 6e 20 74 68 | 65 20 73 61 6d 65 20 72 |is in th|e same r|
|00003540| 65 61 6c 20 66 75 6e 63 | 74 69 6f 6e 29 2c 20 6f |eal func|tion), o|
|00003550| 72 20 74 68 61 74 20 69 | 73 0a 6d 69 67 68 74 20 |r that i|s.might |
|00003560| 6e 6f 74 20 62 65 20 69 | 6e 20 74 68 65 20 73 61 |not be i|n the sa|
|00003570| 6d 65 20 65 6e 76 69 72 | 6f 6e 6d 65 6e 74 2c 20 |me envir|onment, |
|00003580| 62 65 63 61 75 73 65 20 | 69 74 20 69 73 20 6e 6f |because |it is no|
|00003590| 74 20 69 6e 20 74 68 65 | 20 73 61 6d 65 20 66 75 |t in the| same fu|
|000035a0| 6e 63 74 69 6f 6e 2e 0a | 0a 5c 69 74 65 6d 5b 66 |nction..|.\item[f|
|000035b0| 69 78 75 70 5d 20 20 53 | 6f 6d 65 20 73 6f 72 74 |ixup] S|ome sort|
|000035c0| 20 6f 66 20 62 61 63 6b | 2d 70 61 74 63 68 69 6e | of back|-patchin|
|000035d0| 67 20 61 6e 6e 6f 74 61 | 74 69 6f 6e 2e 20 20 54 |g annota|tion. T|
|000035e0| 68 65 20 6d 61 69 6e 20 | 73 6f 72 74 20 65 6e 63 |he main |sort enc|
|000035f0| 6f 75 6e 74 65 72 65 64 | 0a 61 72 65 20 6c 6f 61 |ountered|.are loa|
|00003600| 64 2d 74 69 6d 65 20 7b | 5c 69 74 20 61 73 73 65 |d-time {|\it asse|
|00003610| 6d 62 6c 65 72 20 66 69 | 78 75 70 73 7d 2c 20 77 |mbler fi|xups}, w|
|00003620| 68 69 63 68 20 61 72 65 | 20 61 20 6c 69 6e 6b 61 |hich are| a linka|
|00003630| 67 65 20 61 6e 6e 6f 74 | 61 74 69 6f 6e 20 6d 65 |ge annot|ation me|
|00003640| 63 68 61 6e 69 73 6d 2e | 0a 0a 5c 69 74 65 6d 5b |chanism.|..\item[|
|00003650| 66 6c 6f 77 20 67 72 61 | 70 68 5d 20 41 20 66 6c |flow gra|ph] A fl|
|00003660| 6f 77 20 67 72 61 70 68 | 20 69 73 20 61 20 64 69 |ow graph| is a di|
|00003670| 72 65 63 74 65 64 20 67 | 72 61 70 68 20 6f 66 20 |rected g|raph of |
|00003680| 62 61 73 69 63 20 62 6c | 6f 63 6b 73 2c 20 77 68 |basic bl|ocks, wh|
|00003690| 65 72 65 20 65 61 63 68 | 0a 61 72 63 20 72 65 70 |ere each|.arc rep|
|000036a0| 72 65 73 65 6e 74 73 20 | 61 20 70 6f 73 73 69 62 |resents |a possib|
|000036b0| 6c 65 20 63 6f 6e 74 72 | 6f 6c 20 74 72 61 6e 73 |le contr|ol trans|
|000036c0| 66 65 72 2e 20 20 54 68 | 65 20 66 6c 6f 77 20 67 |fer. Th|e flow g|
|000036d0| 72 61 70 68 20 69 73 20 | 74 68 65 20 62 61 73 69 |raph is |the basi|
|000036e0| 63 20 64 61 74 61 0a 73 | 74 72 75 63 74 75 72 65 |c data.s|tructure|
|000036f0| 20 75 73 65 64 20 74 6f | 20 72 65 70 72 65 73 65 | used to| represe|
|00003700| 6e 74 20 63 6f 64 65 2c | 20 61 6e 64 20 70 72 6f |nt code,| and pro|
|00003710| 76 69 64 65 73 20 64 69 | 72 65 63 74 20 73 75 70 |vides di|rect sup|
|00003720| 70 6f 72 74 20 66 6f 72 | 20 64 61 74 61 20 66 6c |port for| data fl|
|00003730| 6f 77 0a 61 6e 61 6c 79 | 73 69 73 2e 20 20 53 65 |ow.analy|sis. Se|
|00003740| 65 20 63 6f 6d 70 6f 6e | 65 6e 74 20 61 6e 64 20 |e compon|ent and |
|00003750| 49 43 52 2e 0a 0a 5c 69 | 74 65 6d 5b 66 6f 6c 64 |ICR...\i|tem[fold|
|00003760| 61 62 6c 65 5d 20 41 6e | 20 61 74 74 72 69 62 75 |able] An| attribu|
|00003770| 74 65 20 6f 66 20 7b 5c | 69 74 20 6b 6e 6f 77 6e |te of {\|it known|
|00003780| 20 66 75 6e 63 74 69 6f | 6e 73 7d 2e 20 20 41 20 | functio|ns}. A |
|00003790| 66 75 6e 63 74 69 6f 6e | 20 69 73 20 66 6f 6c 64 |function| is fold|
|000037a0| 61 62 6c 65 0a 69 66 20 | 63 61 6c 6c 73 20 6d 61 |able.if |calls ma|
|000037b0| 79 20 62 65 20 63 6f 6e | 73 74 61 6e 74 20 66 6f |y be con|stant fo|
|000037c0| 6c 64 65 64 20 77 68 65 | 6e 65 76 65 72 20 74 68 |lded whe|never th|
|000037d0| 65 20 61 72 67 75 6d 65 | 6e 74 73 20 61 72 65 20 |e argume|nts are |
|000037e0| 63 6f 6d 70 69 6c 65 2d | 74 69 6d 65 0a 63 6f 6e |compile-|time.con|
|000037f0| 73 74 61 6e 74 2e 20 20 | 47 65 6e 65 72 61 6c 6c |stant. |Generall|
|00003800| 79 20 74 68 69 73 20 6d | 65 61 6e 73 20 74 68 61 |y this m|eans tha|
|00003810| 74 20 69 74 20 69 73 20 | 61 20 70 75 72 65 20 66 |t it is |a pure f|
|00003820| 75 6e 63 74 69 6f 6e 20 | 77 69 74 68 20 6e 6f 20 |unction |with no |
|00003830| 73 69 64 65 0a 65 66 66 | 65 63 74 73 2e 0a 0a 0a |side.eff|ects....|
|00003840| 46 53 43 0a 66 75 6c 6c | 20 63 61 6c 6c 0a 66 75 |FSC.full| call.fu|
|00003850| 6e 63 74 69 6f 6e 20 61 | 74 74 72 69 62 75 74 65 |nction a|ttribute|
|00003860| 0a 66 75 6e 63 74 69 6f | 6e 0a 09 22 72 65 61 6c |.functio|n.."real|
|00003870| 22 20 28 61 6c 6c 6f 63 | 61 74 65 73 20 65 6e 76 |" (alloc|ates env|
|00003880| 69 72 6f 6e 6d 65 6e 74 | 29 0a 09 6d 65 61 6e 69 |ironment|)..meani|
|00003890| 6e 67 20 66 75 6e 63 74 | 69 6f 6e 2d 65 6e 74 72 |ng funct|ion-entr|
|000038a0| 79 0a 09 6d 6f 72 65 20 | 76 61 67 75 65 20 28 61 |y..more |vague (a|
|000038b0| 6e 79 20 6c 61 6d 62 64 | 61 3f 29 0a 66 75 6e 6e |ny lambd|a?).funn|
|000038c0| 79 20 66 75 6e 63 74 69 | 6f 6e 0a 47 45 4e 20 28 |y functi|on.GEN (|
|000038d0| 6b 69 6c 6c 20 61 6e 64 | 2e 2e 2e 29 0a 67 6c 6f |kill and|...).glo|
|000038e0| 62 61 6c 20 54 4e 2c 20 | 63 6f 6e 66 6c 69 63 74 |bal TN, |conflict|
|000038f0| 73 2c 20 70 72 65 66 65 | 72 65 6e 63 65 0a 47 54 |s, prefe|rence.GT|
|00003900| 4e 20 28 6e 75 6d 62 65 | 72 29 0a 49 52 20 49 43 |N (numbe|r).IR IC|
|00003910| 52 20 56 4d 52 20 20 49 | 43 52 20 63 6f 6e 76 65 |R VMR I|CR conve|
|00003920| 72 73 69 6f 6e 2c 20 56 | 4d 52 20 63 6f 6e 76 65 |rsion, V|MR conve|
|00003930| 72 73 69 6f 6e 20 28 74 | 72 61 6e 73 6c 61 74 69 |rsion (t|ranslati|
|00003940| 6f 6e 29 0a 69 6e 6c 69 | 6e 65 20 65 78 70 61 6e |on).inli|ne expan|
|00003950| 73 69 6f 6e 2c 20 63 61 | 6c 6c 0a 6b 69 6c 6c 20 |sion, ca|ll.kill |
|00003960| 28 74 6f 20 6d 61 6b 65 | 20 64 65 61 64 29 0a 6b |(to make| dead).k|
|00003970| 6e 6f 77 6e 20 66 75 6e | 63 74 69 6f 6e 0a 4c 41 |nown fun|ction.LA|
|00003980| 4d 42 44 41 0a 6c 65 61 | 66 0a 6c 65 74 20 63 61 |MBDA.lea|f.let ca|
|00003990| 6c 6c 0a 6c 69 66 65 74 | 69 6d 65 20 61 6e 61 6c |ll.lifet|ime anal|
|000039a0| 79 73 69 73 2c 20 6c 69 | 76 65 20 28 74 6e 2c 20 |ysis, li|ve (tn, |
|000039b0| 76 61 72 69 61 62 6c 65 | 29 0a 6c 6f 61 64 20 74 |variable|).load t|
|000039c0| 6e 0a 4c 4f 43 53 20 28 | 70 61 73 73 69 6e 67 2c |n.LOCS (|passing,|
|000039d0| 20 72 65 74 75 72 6e 20 | 6c 6f 63 61 74 69 6f 6e | return |location|
|000039e0| 73 29 0a 6c 6f 63 61 6c | 20 63 61 6c 6c 0a 6c 6f |s).local| call.lo|
|000039f0| 63 61 6c 20 54 4e 2c 20 | 63 6f 6e 66 6c 69 63 74 |cal TN, |conflict|
|00003a00| 73 2c 20 28 6f 72 20 6a | 75 73 74 20 75 73 65 64 |s, (or j|ust used|
|00003a10| 20 69 6e 20 6f 6e 65 20 | 62 6c 6f 63 6b 29 0a 6c | in one |block).l|
|00003a20| 6f 63 61 74 69 6f 6e 20 | 28 73 65 6c 65 63 74 69 |ocation |(selecti|
|00003a30| 6f 6e 29 0a 4c 54 4e 20 | 28 6e 75 6d 62 65 72 29 |on).LTN |(number)|
|00003a40| 0a 6d 61 69 6e 20 65 6e | 74 72 79 0a 6d 65 73 73 |.main en|try.mess|
|00003a50| 2d 75 70 20 28 66 6f 72 | 20 63 6c 65 61 6e 75 70 |-up (for| cleanup|
|00003a60| 29 0a 6d 6f 72 65 20 61 | 72 67 20 28 65 6e 74 72 |).more a|rg (entr|
|00003a70| 79 29 0a 4d 56 0a 6e 6f | 6e 2d 6c 6f 63 61 6c 20 |y).MV.no|n-local |
|00003a80| 65 78 69 74 0a 6e 6f 6e | 2d 70 61 63 6b 65 64 20 |exit.non|-packed |
|00003a90| 53 43 2c 20 54 4e 0a 6e | 6f 6e 2d 73 65 74 20 76 |SC, TN.n|on-set v|
|00003aa0| 61 72 69 61 62 6c 65 0a | 6f 70 65 72 61 6e 64 20 |ariable.|operand |
|00003ab0| 28 74 6f 20 76 6f 70 29 | 0a 6f 70 74 69 6d 69 7a |(to vop)|.optimiz|
|00003ac0| 65 72 20 28 69 6e 20 69 | 63 72 20 6f 70 74 69 6d |er (in i|cr optim|
|00003ad0| 69 7a 65 29 0a 6f 70 74 | 69 6f 6e 61 6c 2d 64 69 |ize).opt|ional-di|
|00003ae0| 73 70 61 74 63 68 0a 70 | 61 63 6b 2c 20 70 61 63 |spatch.p|ack, pac|
|00003af0| 6b 69 6e 67 2c 20 70 61 | 63 6b 65 64 0a 70 61 73 |king, pa|cked.pas|
|00003b00| 73 20 28 69 6e 20 61 20 | 74 72 61 6e 73 66 6f 72 |s (in a |transfor|
|00003b10| 6d 29 0a 70 61 73 73 69 | 6e 67 20 0a 09 6c 6f 63 |m).passi|ng ..loc|
|00003b20| 61 74 69 6f 6e 73 20 28 | 76 61 6c 75 65 29 0a 09 |ations (|value)..|
|00003b30| 63 6f 6e 76 65 6e 74 69 | 6f 6e 73 20 28 6b 6e 6f |conventi|ons (kno|
|00003b40| 77 6e 2c 20 75 6e 6b 6e | 6f 77 6e 29 0a 70 6f 6c |wn, unkn|own).pol|
|00003b50| 69 63 79 20 28 73 61 66 | 65 2c 20 66 61 73 74 2c |icy (saf|e, fast,|
|00003b60| 20 73 6d 61 6c 6c 2c 20 | 2e 2e 2e 29 0a 70 72 65 | small, |...).pre|
|00003b70| 64 65 63 65 73 73 6f 72 | 20 62 6c 6f 63 6b 0a 70 |decessor| block.p|
|00003b80| 72 69 6d 69 74 69 76 65 | 2d 74 79 70 65 0a 72 65 |rimitive|-type.re|
|00003b90| 61 63 68 69 6e 67 20 64 | 65 66 69 6e 69 74 69 6f |aching d|efinitio|
|00003ba0| 6e 0a 52 45 46 0a 72 65 | 70 72 65 73 65 6e 74 61 |n.REF.re|presenta|
|00003bb0| 74 69 6f 6e 0a 09 73 65 | 6c 65 63 74 69 6f 6e 0a |tion..se|lection.|
|00003bc0| 09 66 6f 72 20 76 61 6c | 75 65 0a 72 65 73 75 6c |.for val|ue.resul|
|00003bd0| 74 20 63 6f 6e 74 69 6e | 75 61 74 69 6f 6e 20 28 |t contin|uation (|
|00003be0| 66 6f 72 20 66 75 6e 63 | 74 69 6f 6e 29 0a 72 65 |for func|tion).re|
|00003bf0| 73 75 6c 74 20 74 79 70 | 65 20 61 73 73 65 72 74 |sult typ|e assert|
|00003c00| 69 6f 6e 20 28 66 6f 72 | 20 74 65 6d 70 6c 61 74 |ion (for| templat|
|00003c10| 65 29 20 28 6f 72 20 69 | 73 20 69 74 20 72 65 73 |e) (or i|s it res|
|00003c20| 74 72 69 63 74 69 6f 6e | 29 0a 72 65 73 74 72 69 |triction|).restri|
|00003c30| 63 74 0a 09 61 20 54 4e | 20 74 6f 20 66 69 6e 69 |ct..a TN| to fini|
|00003c40| 74 65 20 53 42 73 0a 09 | 61 20 74 65 6d 70 6c 61 |te SBs..|a templa|
|00003c50| 74 65 20 6f 70 65 72 61 | 6e 64 20 74 6f 20 61 20 |te opera|nd to a |
|00003c60| 70 72 69 6d 69 74 69 76 | 65 20 74 79 70 65 20 28 |primitiv|e type (|
|00003c70| 62 6f 78 65 64 2e 2e 2e | 29 0a 09 61 20 74 6e 2d |boxed...|)..a tn-|
|00003c80| 72 65 66 20 74 6f 20 70 | 61 72 74 69 63 75 6c 61 |ref to p|articula|
|00003c90| 72 20 53 43 73 0a 0a 72 | 65 74 75 72 6e 20 28 6e |r SCs..r|eturn (n|
|00003ca0| 6f 64 65 2c 20 76 6f 70 | 73 29 0a 73 61 66 65 2c |ode, vop|s).safe,|
|00003cb0| 20 73 61 66 65 74 79 0a | 73 61 76 69 6e 67 20 28 | safety.|saving (|
|00003cc0| 6f 66 20 72 65 67 69 73 | 74 65 72 73 2c 20 63 6f |of regis|ters, co|
|00003cd0| 73 74 73 29 0a 53 42 0a | 53 43 20 28 72 65 73 74 |sts).SB.|SC (rest|
|00003ce0| 72 69 63 74 69 6f 6e 29 | 0a 73 65 6d 69 2d 69 6e |riction)|.semi-in|
|00003cf0| 6c 69 6e 65 0a 73 69 64 | 65 2d 65 66 66 65 63 74 |line.sid|e-effect|
|00003d00| 0a 09 69 6e 20 49 43 52 | 0a 09 69 6e 20 56 4d 52 |..in ICR|..in VMR|
|00003d10| 0a 73 70 61 72 73 65 20 | 73 65 74 0a 73 70 6c 69 |.sparse |set.spli|
|00003d20| 74 74 69 6e 67 20 28 6f | 66 20 56 4d 52 20 62 6c |tting (o|f VMR bl|
|00003d30| 6f 63 6b 73 29 0a 53 53 | 45 54 0a 53 55 42 50 52 |ocks).SS|ET.SUBPR|
|00003d40| 49 4d 49 54 49 56 45 0a | 73 75 63 63 65 73 73 6f |IMITIVE.|successo|
|00003d50| 72 20 62 6c 6f 63 6b 0a | 74 61 69 6c 20 72 65 63 |r block.|tail rec|
|00003d60| 75 72 73 69 6f 6e 0a 09 | 74 61 69 6c 20 72 65 63 |ursion..|tail rec|
|00003d70| 75 72 73 69 76 65 0a 09 | 74 61 69 6c 20 72 65 63 |ursive..|tail rec|
|00003d80| 75 72 73 69 76 65 20 6c | 6f 6f 70 0a 09 75 73 65 |ursive l|oop..use|
|00003d90| 72 20 74 61 69 6c 20 72 | 65 63 75 72 73 69 6f 6e |r tail r|ecursion|
|00003da0| 0a 0a 74 65 6d 70 6c 61 | 74 65 0a 54 4e 0a 54 4e |..templa|te.TN.TN|
|00003db0| 42 49 4e 44 0a 54 4e 2d | 52 45 46 0a 74 72 61 6e |BIND.TN-|REF.tran|
|00003dc0| 73 66 6f 72 6d 20 28 73 | 6f 75 72 63 65 2c 20 49 |sform (s|ource, I|
|00003dd0| 43 52 29 0a 74 79 70 65 | 0a 09 61 73 73 65 72 74 |CR).type|..assert|
|00003de0| 69 6f 6e 0a 09 69 6e 66 | 65 72 65 6e 63 65 0a 09 |ion..inf|erence..|
|00003df0| 09 74 6f 70 2d 64 6f 77 | 6e 2c 20 62 6f 74 74 6f |.top-dow|n, botto|
|00003e00| 6d 2d 75 70 0a 09 61 73 | 73 65 72 74 69 6f 6e 20 |m-up..as|sertion |
|00003e10| 70 72 6f 70 61 67 61 74 | 69 6f 6e 0a 20 20 20 20 |propagat|ion. |
|00003e20| 20 20 20 20 64 65 72 69 | 76 65 64 2c 20 61 73 73 | deri|ved, ass|
|00003e30| 65 72 74 65 64 0a 09 64 | 65 73 63 72 69 70 74 6f |erted..d|escripto|
|00003e40| 72 2c 20 73 70 65 63 69 | 66 69 65 72 2c 20 69 6e |r, speci|fier, in|
|00003e50| 74 65 72 73 65 63 74 69 | 6f 6e 2c 20 75 6e 69 6f |tersecti|on, unio|
|00003e60| 6e 2c 20 6d 65 6d 62 65 | 72 20 74 79 70 65 0a 20 |n, membe|r type. |
|00003e70| 20 20 20 20 20 20 20 63 | 68 65 63 6b 0a 74 79 70 | c|heck.typ|
|00003e80| 65 2d 63 68 65 63 6b 20 | 28 69 6e 20 63 6f 6e 74 |e-check |(in cont|
|00003e90| 69 6e 75 61 74 69 6f 6e | 29 0a 55 4e 42 4f 58 45 |inuation|).UNBOXE|
|00003ea0| 44 20 28 62 6f 78 65 64 | 29 20 64 65 73 63 72 69 |D (boxed|) descri|
|00003eb0| 70 74 6f 72 0a 75 6e 6b | 6e 6f 77 6e 20 76 61 6c |ptor.unk|nown val|
|00003ec0| 75 65 73 20 63 6f 6e 74 | 69 6e 75 61 74 69 6f 6e |ues cont|inuation|
|00003ed0| 0a 75 6e 73 65 74 20 76 | 61 72 69 61 62 6c 65 0a |.unset v|ariable.|
|00003ee0| 75 6e 77 69 6e 64 2d 62 | 6c 6f 63 6b 2c 20 75 6e |unwind-b|lock, un|
|00003ef0| 77 69 6e 64 69 6e 67 0a | 75 73 65 64 20 76 61 6c |winding.|used val|
|00003f00| 75 65 20 28 64 65 73 74 | 29 0a 76 61 6c 75 65 20 |ue (dest|).value |
|00003f10| 70 61 73 73 69 6e 67 0a | 56 41 52 0a 56 4d 0a 56 |passing.|VAR.VM.V|
|00003f20| 4f 50 0a 58 45 50 0a 0a | 5c 65 6e 64 7b 64 65 73 |OP.XEP..|\end{des|
|00003f30| 63 72 69 70 74 69 6f 6e | 7d 0a |cription|}. |
+--------+-------------------------+-------------------------+--------+--------+
